Strictify DPLLConfig. Default configRestart back to 100. SimplifyDB implemented and used. Disabling VSIDS supported again. numConfl reset to 0 on restart. VSIDS implemented properly --- al variables encountered when constructing conflict bumped. Added insert, function to ignore dupe learned clauses.  Not used currently. Counting learnt clauses now sorts them to find dupes.
Strictify DPLLConfig.
Default configRestart back to 100.
SimplifyDB implemented and used.
Disabling VSIDS supported again.
numConfl reset to 0 on restart.
VSIDS implemented properly --- al variables encountered when constructing conflict bumped.
Added insert, function to ignore dupe learned clauses.  Not used currently.
Counting learnt clauses now sorts them to find dupes.

rbonifacio/funsat,rbonifacio/funsat,rbonifacio/funsat,dbueno/funsat,rbonifacio/funsat,dbueno/funsat