ignore backup files for HoTTBook.v
Bring contrib/HoTTBook.v in sync with current version of book