pfister: modstd over algebraic extension fields
enables tracking of product criterion in sba algorithm
1. implements usage of product criterion in sba
   (disabled by default, still experimental)
2. adds more detailed debugging printouts for sba
   (disabled by default)
adds debug information on number of top s-reductions in sba
Updated sba test due to Ederc's update
Adaptation to FLINT interface changes
Fix BS: missing rlimit.h in the distro
Avoid "if ((P)) " since clang treats such statements specially
Fix compiler error: "friend declaration specifying a default argument must be a definition" in gfanlib/gfanlib_polyhedralfan.h

  friend PolyhedralFan refinement(const PolyhedralFan &a, const PolyhedralFan &b, int cutOffDimension=-1, bool allowASingleConeOfCutO...
                       ^
fix: handling of potential ring-dep objects (def,list) in newstruct
Ignore build files in source directory
Fix BS to use python-config

fix: more default python base-names
add: extra python compiler flags
Fixed BS: gfanlib/cddlib checking/building/embedding

fix: cddlib configure checks
add: static building-in
fix: return code for _mod_init functions
Minor fixes + cleanup
Fix config-checks: SING_CHECK_POLYMAKE depends on SING_CHECK_GFANLIB
chg: new version of oldpolymake.lib from Thomas Markwig (keilen@mathematik.uni-kl.de)
fix: loading of polymake.so in oldpolymake.lib
fix: oldpolymake.lib bigintmat <-> intmat issues
chg: trying up oldpolymake.lib

- renamed procedures that conflicted with procedures in polymake.so
- fixed remaining mistakes in library due to bigintmats where previously only intmats were expected
- added result file for the test
- renamed it back to polymake.lib

the rename to oldpolymake.lib only happened because initially it was planned to call the polymake kernel interface polymake.lib, since it is easier for the users to not distinguish between interpreter libraries and shared objects and due to a misconception that polymake.lib was a pure interface to polymake. Since both proved to be wrong, I decided to undo the name change.