remove extprot.git, use extprot.1.1.1 in ocamlpro repo