fix: tr #667 (minAssChar)
Added statistic counting to Syzygy computation inside syzextra

added: a macro RTIMER_BENCHMARKING which if option(prot) will cause the output of timestamps around the most important calls
Added BucketFactory for sBucket's (based on a default stack container: deque)
Added lots of leadData checking
We will try to avoid computing products by setting NOPRODUCT to 1
Better TREEOUTPUT + minors
Added NOCACHING/NODIVISIONS switches to syzextra

NOTE: NODIVISION=1 for now (experimental assumption on the usage)
Added UNLIKELY/LIKELY accoring to the relase & best performance use cases
fix: stupid erroneous break
Merge pull request #672 from mmklee/char_series

fix: stupid erroneous break
fix+doc: FLINT_VER_2_4_5
Fixed gfanlib/polymake handling scripts in the build system

add: also added a minor compiler flag and other minor changes to BS
fix: pLength in completeReduceFac (from master)
fix: tr. #669 (minAssChar)
fix: tr. #670 (intvec(int,intvec))
replace.stdhilb.calls.by.groebner