That way we can force a redraw at any moment, including during batch execution.
The JsonUI writes json rpc user interface commands on stdout and reads json rpc requests on stdin.