fix typo in HoTTBook.v: config -> contrib
Merge pull request #289 from JasonGross/fix-book-typo

fix typo in HoTTBook.v: config -> contrib