Update readme

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