CoCoAGBModule

Uses Gröbner bases for theory solving, very much like smtrat::GBModule. However, for the underlying implementation of Gröbner bases, this module does not use carl::groebner but CoCoALib.