[upgrade] On upgrade try to let a reinstall file as much up-to-date as possible.
[upgrade] On upgrade try to let a reinstall file as much up-to-date as possible.

If we abort the solver, we don't change the reinstall file.
If we do a partial upgrade, we partailly update the reinstall file.
If a package we are upgrading is failing, it should be desinstalled and thus removed from the reinstall file.

abate/opam,abate/opam