Clean up runner space before running actions

14Gb default space is probably not enough for us anymore

```
[ec2-user@ip-172-31-49-57 ipa]$ du -sh target/
36G     target/
```

see the discussion here
actions/runner-images#2875

.github/workflows/check.yml

@@ -22,6 +22,26 @@ env:
   RUSTDOCFLAGS: -D warnings
 
 jobs:
+  # https://github.com/marketplace/actions/free-disk-space-ubuntu
+  free-disk-space:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Free Disk Space (Ubuntu)
+        uses: jlumbroso/free-disk-space@main
+        with:
+          # this might remove tools that are actually needed,
+          # if set to "true" but frees about 6 GB
+          tool-cache: false
+
+          # all of these default to true, but feel free to set to
+          # "false" if necessary for your workflow
+          android: true
+          dotnet: true
+          haskell: true
+          large-packages: true
+          docker-images: true
+          swap-storage: true
+
   basic:
     name: Basic Checks
     env: