Using ranged loops
Saving memory is now optional
Memory saving option is now fuzz-tested
Cleaning up DIMACS parsing
Check if file exists before writing to it
debugLibPart should have the same solution format as normal output
Cleaning up regression tester's checking
Fixing up some compilation errors with STATS_NEEDED=1
Fixing up more issues with statistic generation