fix reference in proof of 4.7.6, close #356.

I had to be careful not to alter the numbering of anything else on
this one, so whoever merges it should check that I didn't mess up.
Merge branch 'master' into sumoverpaths
add 3d119cf to errata
fix proof of 4.8.3, close #359
add d50b90e to errata
remove draft footer from errata
add explanatory text to errata, #298
add errata to Makefile
Merge branch 'sumoverpaths' for publication, as instructed by @andrejbauer

Conflicts:
	errata.tex
Merge branch 'theorem4.8.3' for publication

Conflicts:
	errata.tex