Fix colomn formatting
Fix debug output when unlocking a file
Merge pull request #797 from dbuenzli/master

The caml needs space and loneliness.
Fix pretty print of OpamMisc.Map
[update] only try to update the actual dev packages
If the global description of a package does not exist, try to provide at least a minimal OPAM file.
Better selection of pinned version

as 'pinned' is *always* the greatest element in a collection of versions.
Move the definition of OpamState.url
Copy the missing installed packages in the global state when they are not there.
Fix the global state computation (useful for upgrade)
Fix upgrade from OPAM 1.0 to 1.1 when some packages are pinned.
Try to fix overlay errors when we are in a weird state.
During the upgrade from 1.0 to 1.1 reset the pinned package overlay.
Merge branch 'master' of github.com:OCamlPro/opam
Merge pull request #798 from dbuenzli/master

.install files, support for installing in sbin.
Use an up-to-date package and compiler index files when updating the metadata
Missing installed packages are installed AND available in one repository
More warning / error message if the state is dodgy
Migrate metadata from the repo mirror to the global state on install.

All tests in opam-rt pass \o/
Merge branch 'master' of github.com:OCamlPro/opam