switch coq84hoq to trunk at HoTT/coq