Fixing licensing
LGPLv2 is OK, but later versions are not OK
File was written by me

Any other code has been generously contributed by the original MiniSat
authors.
SQL for sub-solvers should not be allowed
Better indentation
When subsuming with cache or stamp, otfHyperBin must be turned on

Otherwise, it's hard to control some things, e.g. we cannot use some
optimizations, things get weird
Checking for startClean and nextCleanLimit