Fix removal of packages without any valid metadata.
Merge pull request #799 from dbuenzli/master

Unconditionally remove the share and etc directories of a package.
Failing when trying to reinstall not installed packages
Better behaved colors for warnings and errors
Fixed debug dot output
One more precaution regarding packages removed from upstream
Fixing more issues with packages removed from upstream

Hopefully it is now completely consistent: both upgrade and reinstall will run
additional checks, remove packages that are in the way (only when needed, or for
global upgrade) and trigger errors if the upstream removal makes the user
request impossible to fulfill.

There might be another, maybe simpler way to get a consistent result: see comments.
Merge pull request #800 from AltGr/fixfix-removed-upstream

Fixfix removed upstream
[update] only try to update *installed* dev packages
Enabling content compression in curl
as per #757
Added a '--force' option to the 'remove' command
Closes #794
Coloring opam-list, and showing root packages
Better notifications about deleted packages at update
Actually build opam_admin.native since a67bb720f99497c85e1afd01213044097892c2c1
Merge pull request #803 from dsheets/master

Actually build opam_admin.native since a67bb720f99497c85e1afd
Merge pull request #801 from AltGr/fix-#757-#794

Fix #757 #794
Added a warning when adding a local repo without a 'packages' or 'compilers' directory
Closes #767 (although we only check for the directories here, that should be enough)
Going on after upgrade to 1.1, rather than ignoring command
Fixes #734 (ok, I didn't add a prompt ; but I put in a big red message, shouldn't
that be enough ? :p)
Merge pull request #804 from AltGr/fix-#792

Fix #792
Merge pull request #802 from AltGr/fix-#734-#767

Fix #734 #767