feat: add `grind +simp` mode#11601

kim-em wants to merge 2 commits intonightly-with-mathlibleanprover/lean4:nightly-with-mathlibfrom

grind-simpleanprover/lean4:grind-simpCopy head branch name to clipboard