Introduce `StringIO.flush/1` function