Pywikibot: Replace casechecker.SetColor with color_formatter
See https://phabricator.wikimedia.org/T119904
'casechecker.SetColor' has old code that does custom color printing. pywikibot/tools/formatter.py contains new color tools, which should be used instead.
This changeset shows the relevant code, but is not the correct solution https://gerrit.wikimedia.org/r/#/c/236505/11/scripts/casechecker.py,cm
Pywikibot is a Python-based framework to write bots for MediaWiki. See https://www.mediawiki.org/wiki/Manual:Pywikibot for more information. See https://www.mediawiki.org/wiki/User:John_Vandenberg/GCI_walk-through for a short introduction to using Pywikibot. Patches can be submitted via Gerrit (you need a MediaWiki.org account). See https://www.mediawiki.org/wiki/Manual:Pywikibot/Gerrit. After you have successfully claimed this task on this site please do use the task in Phabricator for communication instead. This allows more PWB developers to be reached! General development questions can be asked on the Pywikibot mailing list at https://lists.wikimedia.org/mailman/listinfo/pywikipedia-l and the #pywikibot IRC channel (see https://www.mediawiki.org/wiki/MediaWiki_on_IRC ).