feat: lake: system-wide cache configuration#12490

tydeu wants to merge 4 commits intoleanprover:masterleanprover/lean4:masterfrom

tydeu:lake/cache-configtydeu/lean4:lake/cache-configCopy head branch name to clipboard