python flush stdout buffer