Stuff to generate the cover
Merge branch 'master' of github.com:HoTT/book

Conflicts:
	cover/torus/symbols.py
Gave UA=>FE a reasonable label
Reformatted the jumbo types so they do not break page formatting
Changing references to UA=>FE as that section has a new label
Changes to Notes on Chapter 1

* made forward references specific (there is no point in referring to a whole chapters)
* we do explicitly require Function Extensionality
* other changes, as seen in the diff