Fixing timing counting of cache-based clause reduction
Cleaner code for randomisation of clause order
Better indentation
Renaming function
clear() is needed or aborted attempts cause binaries are re-added
Allowing empty watch when removing clauses

This makes it cheaper to remove clauses during variable elimination
Don't OTF update var-elim complexity if it's too much work

There are now limits that, if reached, set the OTF update to false. This
helps with large instances.
Better time limit management for BVA
Making SQL writing default, but not error-outing in case it doesn't work
Merge branch 'master' of github.com:msoos/cryptominisat