Update CHANGES
Fix partial upgrade.

Now:

    opam upgrade foo bar

Will only upgrade foo and bar (and the necessary dependencies).

Also simplify *a lot* the management of packages to be reinstalled: this is now always done when we add/remove packages, in the same way the installed and installed.roots file are managed. This should make the whole process much more robust (especially in case of errors).