Stdout buffering

[Palli]

See:

STDOUT/STDERR updates rate

and this thread:

Set flushing mode for output stream

I think the best way is to Define default buffering for stdout and stderr. On Linux, stdout is line-buffered and stderr is unbuffered (I haven’t verified this, though). I think these are excellent defaults. Give the programmer the ability of setting the buffering behavior of a new stream. Give the programmer the ability of changing the buffering mode of any stream. I’m afraid I don’t think that flushing in println() is the way to go. We expect maximal efficiency when printing into a fully b…

maybe of help, I tried to understand the issues, and make a PR, I probably need to reread (what I wrote), posting in case helpful.