Increase Windows/clcache size to 2 GB

This is to avoid files getting purged when they may still be useful.
This, in turn, should lead to fewer cache misses.

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

@@ -729,6 +729,8 @@ jobs:
           echo "CLCACHE_DIR=$pwd\.ccache" >> $env:GITHUB_ENV
       - name: Configure with cmake
         run: cmake -S . -B build
+      - name: Zero ccache stats and limit in size (2 GB)
+        run: clcache -z -M 2147483648
       - name: Build Release
         run: cmake --build build --config Release -- /p:UseMultiToolTask=true /p:CLToolExe=clcache
       - name: Print ccache stats
@@ -789,6 +791,8 @@ jobs:
         run: |
           echo "CLCACHE_BASEDIR=$((Get-Item -Path '.\').FullName)" >> $env:GITHUB_ENV
           echo "CLCACHE_DIR=$pwd\.ccache" >> $env:GITHUB_ENV
+      - name: Zero ccache stats and limit in size (2 GB)
+        run: clcache -z -M 2147483648
       - name: Download minisat with make
         run: make -C src minisat2-download
       - name: Build CBMC with make