Auto-update HoTT opam Coq version