Added support for option(prot) to MathicGB interface.
The MathicGB interface now picks up the monomail order from the ambient ring of the ideal that it is computing a Groebner basis from. However,t his is done in a way that makes MathicGB slow, so I need to improve this. But it works.