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.
Merge remote-tracking branch 'origin/master' into asp

Conflicts:
	src/Solver.h
Added new test file.