trivial change
Dignified cover page, as requested by dignified people
Merge branch 'master' of github.com:HoTT/book
forgot includeonly
fiddling with font size on cover page
made \centering local to title page
inserted list of github contributors to preface
Merge branch 'master' of github.com:HoTT/book

Conflicts:
	equivalences.tex