Use Ubuntu-provided git-clang-format in CI check

The 14.0.6 version of git-clang-format (which was introduced in
b377779) appears to be incompatible with clang-format-11. The
result was that context lines of the diff got formatted as well, as seen
in
https://github.com/diffblue/cbmc/actions/runs/3141827465/jobs/5104706348.

Using the distribution-provided version of git-clang-format fixes this
problem.

Author: tautschnig

.github/workflows/pull-request-check-clang-format.sh

@@ -26,7 +26,7 @@ echo "Checking for formatting errors introduced since $MERGE_BASE"
 
 # Do the checking. "eval" is used so that quotes (as inserted into $EXCLUDES
 # above) are not interpreted as parts of file names.
-eval git-clang-format --binary clang-format-11 $MERGE_BASE -- $EXCLUDES
+eval git-clang-format-11 --binary clang-format-11 $MERGE_BASE -- $EXCLUDES
 git diff > formatted.diff
 if [[ -s formatted.diff ]] ; then
   echo 'Formatting error! The following diff shows the required changes'

.github/workflows/pull-request-checks.yaml

@@ -612,9 +612,6 @@ jobs:
         run: |
           sudo apt-get update
           sudo apt-get install --no-install-recommends -yq clang-format-11
-          wget -O git-clang-format https://raw.githubusercontent.com/llvm/llvm-project/llvmorg-14.0.6/clang/tools/clang-format/git-clang-format
-          chmod u+x git-clang-format
-          mv git-clang-format /usr/local/bin
       - name: Check updated lines of code match clang-format-11 style
         env:
           BASE_BRANCH: ${{ github.base_ref }}