change \UU' to \UU in preliminaries.tex and remove the sentence referred to that
opened #174.  Notice that by typical ambiguity, \UU can refer to distinct universes,
even when written twice in the same expression.
Merge branch 'master' of github.com:HoTT/book
Merge branch 'master' of github.com:HoTT/book