Travis CI: checking whether we can use Ubuntu 14.04 LTS (trusty) rather than Ubuntu 12.04 LTS (precise).
Travis CI: checking whether we can use Ubuntu 14.04 LTS (trusty) rather than Ubuntu 12.04 LTS (precise).

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