Strengthen&subsume of implicit is divided up
Adding commented-out tri-subsumer to Simplifier

No need to have this, in ClauseVivifier we do this already
Adding <limits> to Simplifier.h
Rename configuration option
Fixing output to file by part-solver (for lib simulation)
Much more precise way to measure propagation time
Fixing up the regression test tool by a large factor
Adding unelimination
Easier reading of watched bit-manipulation
Add this comment, it explains some important things