Opam's coq-HoTT added