Updated .gitignore

ignoring the HoTT book.