Comment out the build-coq branch of .travis.yml

We're not going to succeed in time, anyway, now that we need more of the
standard library.