Initial 0install solver

This uses the feeds to construct a SAT problem, solves it, and then
builds a selections document from the result. The core functions are
working, but many features are still missing.