Removed unnecessary duplicate code path in BuchbergerAlg.cpp
Removed old unused code for Buchberger criteria from PolyBasis.
The library interface now allows setting the maximum S-pair group size.