Jane Street development opam repository

[Jeremie Dimino]

Hi,

If you were previously using the opam repository for Jane Street
development packages on github [1], you can now switch to a new url
[2]:

opam repo add janestreet-dev https://ocaml.janestreet.com/opam-repository

This repository is a mirror of the github one but with static archives
rather than git urls. This means that `opam update` will be much
faster as it won't have to check the individual git repositories one
by one.

[1] https://github.com/janestreet/opam-repository
[2] https://ocaml.janestreet.com/opam-repository

--
Jeremie