CI: disable Github CodeQL

This has never run in this repository and is currently disabled because there
was a ≥ 60 day window without commits. It has not been valuable in other C/C++
projects in which I have used it, so lets just remove it.