Auto-update HoTT opam Coq version
Ooops, I forgot to update the allow-failures.
Fix for travis for when the depgraphs don't change
Merge pull request #653 from JasonGross/update-opam

Auto-Update opam
./autogen.sh