Almost done with variable elimination.
Still not replacing clauses (TODO for Carmine).
Remove satisfied TODO.
Fixed several bugs on variable elimination.
Changed dimacs class in order to ignore first line parameters.
Added some tests for variable elimination. (the output is still wrong on some of them)
Implemented script for creating test files.
Added missing files.
Fixed bug of incorrect models in case of variable elimination.
Merge branch 'master' into variable_elimination

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