Travis CI: now use the (beta) Ubuntu 14.04 LTS build environment.
Travis CI: now use the (beta) Ubuntu 14.04 LTS build environment.

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