Using a cleaner, better cryptominisat.cpp

Also, it's backward-compatible with 4.0
Fixing thread creation anomalies
A bit more const correctness