Experimental ultra-fast 'opam update'

Just a quick experimentation to show what can be done with the new internal architecture.

I've kept in the global state only the metadata of installed packages, and we can use index files to know in which repository mirror to look for all the other things.

New more testing though.