Makefile updated to include compilation of coloring_solver module.