Add a check-goose CI job

Author: tchajed

.github/workflows/ci.yml

@@ -22,3 +22,15 @@ jobs:
           opam install --deps-only .
       - name: Rocq build
         run: dune build
+
+  check-goose:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v6
+      - uses: actions/setup-go@v6
+      - name: check goose output
+        run: |
+          git clone --depth=1 https://github.com/mit-pdos/gokv ~/gokv
+          git clone --depth=1 https://github.com/mit-pdos/vmvcc ~/vmvcc
+          ./etc/update-goose.sh --gokv ~/gokv --mvcc ~/vmvcc
+          git diff --exit-code