Fix colomn formatting
Fix debug output when unlocking a file
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