Implemented SAT4J libraries.
Converted GraphParser to make SAT4J clauses.
main method can now solve coloring problems; some of the logic needs to be moved into proper methods.
Documentation is poor at best; it needs to be improved.
Implemented minimum coloring solver.
Documentation is still sparse.
Renamed Graph_coloring class to GraphColoring for convention.
Updated compile.bat and run.bat