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.
Merge pull request #466 from Melvar/repl-linebuffering

Set line buffering on stdout in REPL setup