overwrite existing dimacs file instead of creating dimacs.2 file
tmp

Revert "several changes in dumpconf and the corresponding parser to work around various issues"

This reverts commit 18623604672cceef254f2ee667332b0f1040bccc.

Conflicts:

	binary/dumpconf
	dumpconf/make
	src/main/scala/XMLDumpReader.scala