Implemented elimination by distribution.
Implemented simplifications as in Minisat2.
Fixed bug on subsumption check.
Minisat2 simplifications with variabile elimination by definition.
Replacement of stl vector with minisat-like vector in WatchedList.