Implement a better algorithm for guessing about unsatisfiability

Now it tries removing all possible subsets of packages, and finds the one that
is the smallest that makes the remainder satisfiable.
Don't suggest removing conda