Upgrade CodeQL GitHub action to v2

v1 is deprecated as per
https://github.blog/changelog/2022-04-27-code-scanning-deprecation-of-codeql-action-v1/.

Author: tautschnig

.github/workflows/codeql-analysis.yml

@@ -28,7 +28,7 @@ jobs:
 
     # Initializes the CodeQL tools for scanning.
     - name: Initialize CodeQL
-      uses: github/codeql-action/init@v1
+      uses: github/codeql-action/init@v2
       with:
         languages: ${{ matrix.language }}
         # If you wish to specify custom queries, you can do so here or in a config file.
@@ -46,4 +46,4 @@ jobs:
         make -C jbmc/unit -j2
 
     - name: Perform CodeQL Analysis
-      uses: github/codeql-action/analyze@v1
+      uses: github/codeql-action/analyze@v2