Added the HoTT book.

Added the HoTT book.