Bump version of the `codeql-action` action to v3 for fixing an annoying
warning that appears in GitHub WebUI:

    Node.js 16 actions are deprecated.
    Please update the following actions to use Node.js 20

NO_DOC=ci
NO_TEST=ci
NO_CHANGELOG=ci

(cherry picked from commit 5040fba9)