chore: bump lean4checker to v4.13.0-rc3 (#17487)

I think that there might be further issues with `lake build`, but this change seems at least needed.

I am hoping that #17486 tests this.

.github/workflows/lean4checker.yml

@@ -70,7 +70,7 @@ jobs:
         run: |
           git clone https://github.com/leanprover/lean4checker
           cd lean4checker
-          git checkout v4.12.0-rc1
+          git checkout v4.13.0-rc3
           # Now that the git hash is embedded in each olean,
           # we need to compile lean4checker on the same toolchain
           cp ../lean-toolchain .