Update contrib/HoTTBook.v

It looks like there is a chance that Marc Bezem's reading group might contribute to linking the HoTT book and the HoTT libraries, so I updated this and made sure it works.