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