chg: removed unused ring parameter: LLL,HNF
doc/optim.: lll in multigrading.lib
removed lll.lib
Merge pull request #670 from adipopescu/Flint

add: LLL_Flint
removed LLL from tests
removed sepearte LLL
Fix the bugs in ' Merge pull request #670 from adipopescu/Flint'
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
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