feat: support code actions in linters#14402

wkrozowski wants to merge 18 commits into

leanprover:masterleanprover/lean4:masterfrom

wkrozowski:wojciech/lintersCodeActionswkrozowski/lean4:wojciech/lintersCodeActionsCopy head branch name to clipboard