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.