ignore backup files for HoTTBook.v
Bring contrib/HoTTBook.v in sync with current version of book
Merge branch 'master' of https://github.com/HoTT/HoTT
Added links for Section 2.3 in contrib/HoTTBook.v