feat: lake: use system cache for bootstrap#10621

tydeu merged 3 commits intoleanprover:masterleanprover/lean4:masterfrom

tydeu:lake/bootstrap-cache-dirtydeu/lean4:lake/bootstrap-cache-dirCopy head branch name to clipboard