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...
                       ^