Factor out functions over OPAM universes and the command line query interface

[dsheets]

Now in ocamllabs/opamfu.

opamfu 0.1 depends on (tba) opam-lib 1.1.1.

[dsheets]

Let me know what you think of the new formulae and reverse dep rendering. This PR should fix #78 and #41. I have some other overlay, editing, and cross-linking work in the pipe but if this looks good to you, we should cut opamfu 0.1 and opam2web 1.3.

[AltGr]

@dsheets now that it's released we're ready to go aren't we ?

[dsheets]

Nearly: I'm working on the release of opamfu 0.1.0 right now. After that's done, I think we should be able to release opam2web 1.3.0.

Could you take a look at ocaml/ocaml.org#356? I think it's something to do with root/prefix handling in opam-lib?

[dsheets]

I think this is just about ready to go. See drafts of the opam packages in https://github.com/dsheets/opam-repo-dev/tree/opam/packages.

The only remaining issue I'd like to see resolved is #87 and the package path prefix changed from "pkg" to "packages" so that the pages generated by opam2web are truly an opam repository overlay. I think to do this we will need to use a couple nginx rewrite rules to send 301 redirects from /pkg/name/v.v.v/ and /pkg/name/name.v.v.v/ to /packages/name/name.v.v.v/. It is hard for me to write and test these, though. :-/

[dsheets]

Released opamfu 0.1.0 via ocaml/opam-repository#1667. opam2web package draft still in dsheets/opam-repo-dev/opam.

[dsheets]

<dsheets> AltGr, i think opam2web is ready to go
<dsheets> needs, merging, tagging, opam url file rewriting with archive md5sum
<dsheets> on the production side, once the merge is done, the server should have cow 0.8.1 and opamfu 0.1.1 installed
<dsheets> and the new nginx config loaded, the old opam2web tree deleted, and a new tree generated
<thomasga> dsheets: but sure to not delete the archive files
<thomasga> (as you don't want to regenerate them with a new checksum)
* AltGr has quit (*.net *.split)
<dsheets> thomasga, are they stored in the pkg tree?
<dsheets> what tools think that pkg is the packages prefix? we are moving to "packages/" to mirror opam repos
<dsheets> we didn't do this the last time we changed path structure because we (naively) thought packages were the only path of opam repos
<dsheets> but this is clearly false
<thomasga> dsheets: no they are stored in archives/
<thomasga> so that should be fine
<dsheets> oh, cool, you only need to delete pkg/ anyway
<thomasga> but that's the only thing we *really* don't want to remove on the server
<dsheets> but the docs could be regenerated with omd in cow 0.8.1