perf: fix O(n²) string concatenation in parseStr (Tokenizer.lean)

Problem

parseStr in Lck/Json/Tokenizer.lean accumulates the string result with acc ++ s, which is O(n²) for large strings because each concatenation copies the accumulated string.

Suggested Fix

Use String.Builder accumulation or collect into List Char/List String and concatenate once at the close-quote branch to achieve O(n) behavior.

References

Raised in AI code review (Codex #1, medium severity).

Lck/Json/Tokenizer.lean を開き、parseStr、特にそのアキュムレータと閉じ引用符の分岐を調べてください。繰り返し行われる文字列連結を、提案されている線形時間の蓄積方法のいずれかに置き換え、パースの動作を維持したうえで、大きな文字列が O(n²) の処理を引き起こさなくなったことを確認してください。