Rename Choco graph coloring solver to ChocoGC