Remove deprecated CopyrightCheck.py module

it was long ago replaced by SourceTools.py, which also includes the formatting tools.