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

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:bugfixes/git-clang-formattautschnig/cbmc:bugfixes/git-clang-formatCopy head branch name to clipboard