fix: tr. #668 (alias in imap/fetch)
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
Fixed gfanlib/polymake handling scripts in the build system

add: also added a minor compiler flag
Added STATISTIC() macro for counting operations with numbers

add: conunt addition cancelations

NOTE: define HAVE_NUMSTAT if order to switch this on (or add -DHAVE_NUMSTAT to CPPFLAGS in configuretion time)
Added missing wrappers for coeffs->virtual methods and fix their usage
New NumberStatsInit and NumberStatsPrint are available in syzextra module / schreyer.lib
Added counting of number operations around s_res call