Development packages removed
Coq HoTT packages removed (now in https://github.com/clarus/coq-HoTT-opam-repo)