added kludge to cache chromatic_number in gt.py