Fix jline lost echo issues

Known cases:

- play new
- runTests
- Audit all uses of jline to make sure we always enable echo immediately after instantiating a terminal, and in finally blocks after disabling it