Fixed a little bit of the formatting for the CNF file generated by the GraphParser.  It reports satisfiable/unsatisfiable under the correct circumstances when its output is piped through the DP_solver.
The run.bat file now makes a file called 4col.cnf, which is the CNF generated for 4.col.