Lots of DIMACS parser refactoring