Fix jline prompt so  it will correctly redraw when needed.

* JLine prompt now redraws if output occurs while waiting for input.
* Minor amounts of communication between println + readLine to
  denote hwen we have to redraw the prompt.  Otherwise the
  other mutability kills our screen.