An OPAM package to add the coq repository.