Replace `\autoref` with `\cref` throughout.
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.