Travis-CI: some work on using ninja to speed up the build (#539).
Travis-CI: some work on using ninja to speed up the build (#539).

Fairly/opencor,Fairly/opencor,mirams/opencor,Fairly/opencor,mirams/opencor,mirams/opencor,Fairly/opencor,mirams/opencor,mirams/opencor,Fairly/opencor