ci: free disk space before Android build

Remove pre-installed .NET, Haskell, CodeQL, and unused Docker images
to prevent "No space left on device" errors during Android build.

🤖 Generated with [Claude Code](https://claude.com/claude-code)

Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>

Author: b-zee

.github/workflows/android.yml

@@ -14,6 +14,14 @@ jobs:
       cancel-in-progress: true
 
     steps:
+    - name: Free disk space
+      run: |
+        sudo rm -rf /usr/share/dotnet
+        sudo rm -rf /opt/ghc
+        sudo rm -rf /opt/hostedtoolcache/CodeQL
+        sudo docker image prune --all --force
+        df -h
+
     - uses: actions/checkout@v4
       with:
         submodules: true