cleaned the folder
added HoTT files