Support for MathicGB. Early interface with no options.
Build system support for MathicGB.
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.
Make use of new MathicGB support for both left and right variants of lex and revlex.
Merge pull request #346 from YueRen/gfanlib

Gfanlib
fix: by gpfister: extractZ
chg: 3-1-7
fix: removed fix path for xv
fix: typo
fix: version number 3-1-7
chg: deleted unneccessary swap
chg: moved some code from .h to .cc
chg: absBiFactorizeMain now also returns other factors
chg: added factorizationWRTDifferentSecondVars to header
chg: removed trailing spaces
chg: added decompress for absolute factors
chg: renamed facAbsFact.* to facAbsBiFact.*
chg: changes due to renaming
fix: compiler warnings about empty if
added: new absolute factorization for multivariate polys
chg: changes due to new abs factorization