We track Coq via git submodule, not .travis.yml