added exercise to chapter 3
added reference to old exercise in chapter 3
Minor tweaks to allow cleveref's poorman .sed files to work better

We'll still need to patch them to deal with autoref vs cref, but at
least we won't error or have missing braces.

The poorman option to cleveref was the only way I've found to get
htlatex to compile the book.
Tweaks to allow latex (and not only pdflatex) to compile the book

This is required for getting htlatex to work, for an eventual
html/non-MathML-epub target.  The main changes are:
(1) we use \DeclareGraphicsExtension and never pass .png explicitly
now
(2) we patch \includegraphics when not in pdf mode to read bounding
boxes using bmpsize-base, to silence "can't determine size" errors
Merge pull request #662 from JasonGross/allow-poorman-cleveref

Minor tweaks to allow cleveref's poorman .sed files to work better
moved new exercise to the end
Add another \texorpdfstring
Merge pull request #661 from JasonGross/fix-dvi-mode

Tweaks to allow latex (and not only pdflatex) to compile the book
Merge pull request #660 from nicolaikraus/master

added exercise to chapter 3
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.