Factored main solver out into solvers.py and turned run_grobner_free.py into unittests