feat: show live Lake LSP loading progress in status bar of editors instead of top of file#13608

wvhulle wants to merge 2 commits intoleanprover:masterleanprover/lean4:masterfrom

wvhulle:lake-build-progresswvhulle/pretty-lean:lake-build-progressCopy head branch name to clipboard