Coloring opam-list, and showing root packages
Better notifications about deleted packages at update
Merge pull request #804 from AltGr/fix-#792

Fix #792