Fix #10273: replace GitHub actions/cache with Docker bind mounts
Fix #10273: replace GitHub actions/cache with Docker bind mounts

This enables per-runner, local, persistent cache for CI.

sjrd/dotty,dotty-staging/dotty,lampepfl/dotty,lampepfl/dotty,dotty-staging/dotty,lampepfl/dotty,dotty-staging/dotty,sjrd/dotty,lampepfl/dotty,dotty-staging/dotty,sjrd/dotty,dotty-staging/dotty,sjrd/dotty,sjrd/dotty,lampepfl/dotty