feat: re-integrate lean4checker as leanchecker#11887

Kha merged 14 commits intoleanprover:masterleanprover/lean4:masterfrom

Kha:push-pwzqrnlnynxzKha/lean4:push-pwzqrnlnynxzCopy head branch name to clipboard