python os flush stdout