Update all links to the OPAM universe index with new opam-compatible URI
Merge pull request #506 from dsheets/pkg-redirect

Update all links to the OPAM universe index with new opam-compatible URI