Removed unnecessary colored_graph.dot output file, replaced TabuCol (which can only give a k-coloring, not a minimal coloring) with the Hybrid DSATUR algorithm.