Revert "Ignore Code Checker and Moodle Check style tools."
This is properly done globally in a personal .gitignore file.

This reverts commit 1a06141167742f094b2ff8255f99e076798e6d37.