Cosmetic
Working installation of HoTT from the HoTT repo