Add a flush method

[davidanthoff]

See 2cfb64f for a previous implementation.

[davidanthoff]

I'm a bit unclear whether the implementation that I had previously is enough: there might be more task switches in the pipe implementation... So maybe one needs to add a flush method call somewhere else as well, for example on the pipe or something like that.