bug: CLI readAll stops reading at first empty line instead of reading to EOF

Problem

Both cli/LckJsonFmt.lean and cli/LckJsonTree.lean define a readAll helper that reads stdin line-by-line, stopping as soon as it reads an empty line:

repeat
  let line ← stdin.getLine
  if line.isEmpty then break   -- WRONG: also breaks on blank lines mid-input
  buf := buf ++ line

This means any JSON that contains a blank line (e.g., pretty-printed JSON piped from another tool, or JSON with embedded newlines before/after values) will be silently truncated.

Expected fix

Read until EOF. IO.Stream.getLine returns "" on EOF — use IO.Stream.isEof or check for EOF after each read instead of treating an empty line as the terminator. Example:

repeat
  let line ← stdin.getLine
  if (← stdin.isEof) then break
  buf := buf ++ line

References

• Flagged by AI code review on PR #8

cli/LckJsonFmt.lean と cli/LckJsonTree.lean の readAll ヘルパーから始め、各 CLI が stdin をどのように読み取るかを確認します。空行を含む入力で動作を検証し、空行をまたいで読み取りが継続され、JSON を切り詰めることなく EOF でのみ終了することを確認します。