cryptominisat executable does not have a version at the end

Fixing regression tester
Adding to SQL the time it takes to actually solve
Putting into SQL the time it takes to finish up the solving

Solution reconstruction and variable back-numbering
Adding cache-cleaning to SQL
Fixing search time in SQL
Adding var-renumber time to SQL
Fixing time dumping to SQL
Fixing naming of timing in SQL
Increasing BVA limit by a large margin
CROSS COMPILE is not useful anymore