Revert "Using 'double' variable activities + slowly increasing decay 0.8->0.95"

This reverts commit 3ee7af9500157eda4ef9b9ef3be9b3db32584e67.

Conflicts:
	cryptominisat4/propengine.cpp
	cryptominisat4/propengine.h
	cryptominisat4/searcher.cpp
	cryptominisat4/searcher.h
Fixing parameter name
If we won't keep any for a specific reduceDB round, don't sort&read
Only keep clauses based on glue
Don't dump individual search time by default
Rename function
Let's not do stats by default, it's slower for no good reason
Better printing of DB clean data
Renaming function
Better setting of Stats in Searcher
No need to collect these values, we almost never use them
Fixing blocked restart to what it is in glucose
Propagations made is no longer tracked for the clause
Fixing a problem with the depth trick for hyper-bin & intree

Valgrind reported errors
Ooops, forgot to reset this mode in case of timeout
Fixing initialization of value
Restart checking should be after conflict creation

We then have the necessary information
Blocked restart was wrongly fixed. Fixing and also more counting
Moving watch sorting to the right place
Moving these inline functions to the right place