fix typo in HoTTBook.v: config -> contrib

If my emacs removing trailing spaces in this file is a problem, I can go update the patch.