comit before merge
Merge branch 'master' of github.com:HoTT/book

Conflicts:
	main.tex
Wrong title for appendix
taking out photo acknowledgment
minor reformulation
Is this stuff obsolete
cleaned up
various improvements
Merge branch 'master' of github.com:HoTT/book