Fix di coq_hott e aggiunta la libreria HoTT