Scipts to import the Coq contribs to OPAM.