parsing:
- make registry use xmlPushParser (from ocaml/xml/) instead of pxp
- make cic (universes part) use xmlPushParser (from ocaml/xml/) instead of pxp