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

Comienza con los helpers readAll de cli/LckJsonFmt.lean y cli/LckJsonTree.lean; después, inspecciona cómo cada CLI lee stdin. Verifica el comportamiento con una entrada que contenga una línea en blanco y confirma que la lectura continúa a través de las líneas en blanco y termina solo en EOF, sin truncar el JSON.