.travis.yml:ppa: newer version of coq-theories.