Fixed --dry-run with some cases of remove
Fixing downgrade of upstream-removed package versions
some cleanup in OpamSolver
(u_packages now already includes u_installed, so some of this was dead code)
experiment: accepting successful unsat responses from aspcud
Merge pull request #844 from AltGr/accept_aspcud_unsat_success

Accept aspcud unsat success