Removed redundant special file handling in the makefile.
Removed solveriter.cpp.  Wasn't really making anything simpler.
Refactored solvermanager; split it into an interface, solver, and a minisat implementation.