Remove the optional do_flush argument from OutputStream.write.

In order to approach the exact same behavior of standard blocking I/O, the do_flush parameter has been removed. Flushing now has to be done using an explicit flush() call if necessary.