chore: rename `String.endPos` -> `String.rawEndPos`#10853

TwoFX merged 3 commits intoleanprover:masterleanprover/lean4:masterfrom

TwoFX:markus/more-string-renamingTwoFX/lean4:markus/more-string-renamingCopy head branch name to clipboard