Add another \texorpdfstring
fix typo in theorem 7.7.4
errata for cd8a902
Merge pull request #663 from JasonGross/texorpdfstring

Add another \texorpdfstring
Merge pull request #665 from mikeshulman/theorem7.7.4

fix typo in theorem 7.7.4
Mark Errata (auto)
Replace `\autoref` with `\cref` throughout.
Fix proof of theorem 7.7.4
Add dvimode, remove pagecolor package

This closes #666.

Travis will now test dvi mode for us.  This is primarily useful for
htlatex.

Move the bmpsize hack for bounding boxes to a separate .tex file, to be
used in other files.

We also now silence the first two runs of (pdf)latex, because travis was
complaining about the log file being too big.
Retry wget resolution when downloading fails
Split the dvi and non-dvi targets
Remove latexmk dvi target

latexmk in dvi mode is too verbose for travis.  Maybe we should just
grep out most of the lines on travis?  But I'm lazy and disabling the
target is easier.
Add *.out.pdf to .gitignore
Merge pull request #670 from JasonGross/dvi

Add dvimode, remove pagecolor package
Merge branch 'master' of github.com:HoTT/book

Conflicts:
	errata.tex    .... there was an \autoref
Merge pull request #668 from andrejbauer/master

Replace `\autoref` with `\cref` throughout.
more details in proof of 7.7.4
Merge pull request #669 from KevinQuirin/th774

Fix proof of theorem 7.7.4
fix grammar in 7.7.4
remark on the need for 0-truncation of V after 10.5.5