FYI: https://blog.travis-ci.com/2017-07-11-trusty-as-default-linux-is-coming

We currently still use Precise to build OSVM on Linux.
I hope migrating to Trusty won't cause any problems for us...

Fabio