Default to installing in /usr

Python doesn't look in /usr/local by default on all systems, so
installing there might not work.
Enable coverage testing
Added initial feed solver

This takes a set of requirements and implementations, builds a SAT
problem, solves it, and then turns the results into selections.

Currently it's unfinished and only connected to the unit-tests.