Set line buffering on stdout in REPL setup

The runtime sets stdout to block buffering if it’s not connected to a terminal,
so a program piping from idris or idris --ideslave does not get responses as
they are written.