feat: allow `System.FilePath.walkDir` to not follow symlinks#10973

bibajz wants to merge 1 commit intoleanprover:masterleanprover/lean4:masterfrom

bibajz:bibajz/walkdir-followlinksbibajz/lean4:bibajz/walkdir-followlinksCopy head branch name to clipboard