Made SolveTree obsolete, by passing down the tree from solve.
planPackages, resolveDependencies now have '-versions, that also return
a Maybe Tree QGoalReasonChain.

The type DependencyResolver has been changed accordingly
So have modularResolver, topDown and the modular resolver's solve.