Merge pull request #652 from JasonGross/after-success-strict

Fix dpdgraph, be more strict about documentation failures
Auto-update HoTT opam Coq version
Ooops, I forgot to update the allow-failures.
Fix for travis for when the depgraphs don't change