chore: bump toolchain to v4.27.0-rc1#66

kim-em merged 10 commits intomainleanprover/lean4-cli:mainfrom

bump_to_v4.27.0-rc1leanprover/lean4-cli:bump_to_v4.27.0-rc1Copy head branch name to clipboard