ENH: installed_map is now mandatory in RulesGenerator.

Having it set to None by default is too confusing, as it is easy to
forget passing it when we do have packages installed.
ENH: rip out old solver, new one follow composer closely.

We have implemented everything up to makeAssertionRules. Composer runSat
is the only key missing implementation at that point.