LGTM code quality analysis is deprecated [1] and no longer generates
code quality information. Remove the LGTM badge and replace it with
a CodeQL badge. To facilitate this, move the CodeQL workflow into its
own workflow so that its status can be reported separately from the
automated tests.