polys: Moved matrix_fglm() to its own module
polys: Added context manager to configuration module
polys: Use new sparse polys in groebner module

Everything besides FGLM was rewritten. Tests were updated
and now are human readable. F5B's implementation seems
fragile and more tests are needed to verify that all branches
of this algorithm are working properly.