Build Coq 8.4 on Travis CI