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.

Need more testing though.