Bump celo-kona to bug fix version and hokulea to v1.0.2 (#60)

* Bump celo-kona to 40c12b6 and hokulea to v1.0.2

* Update elfs

* chore: bump to kona 1.1.7, hokulea 1.0.2 and v3.3.3b

* Update celo-kona with merged commit hash

* Cleanup disk before running elf build in CI

---------

Co-authored-by: fakedev9999 <taehoon@succinct.xyz>

Author: seolaoh

.github/workflows/elf.yml

@@ -22,6 +22,19 @@ jobs:
         uses: actions/checkout@v4
         with:
           ref: ${{ github.event.pull_request.head.ref }}
+      - name: Free disk space
+        run: |
+          echo "Before cleanup:"
+          df -h /
+
+          sudo rm -rf /usr/share/dotnet
+          sudo rm -rf /opt/ghc
+          sudo rm -rf /usr/local/share/boost
+          sudo rm -rf "$AGENT_TOOLSDIRECTORY" || true
+          docker system prune -af || true
+
+          echo "After cleanup:"
+          df -h /
       - name: Install SP1 toolchain
         run: |
           curl -L https://sp1.succinct.xyz | bash