feat(Cache): make use of Lake artifact cache#4

tydeu wants to merge 5 commits intoleanprover-community:nightly-testingleanprover-community/mathlib4-nightly-testing:nightly-testingfrom

tydeu:use-lake-cachetydeu/mathlib4:use-lake-cacheCopy head branch name to clipboard