feat: control environment linters with Lean.Options#13893

wkrozowski wants to merge 11 commits into

leanprover:masterleanprover/lean4:masterfrom

wkrozowski:wojciech/newEnvLinterOptionswkrozowski/lean4:wojciech/newEnvLinterOptionsCopy head branch name to clipboard