python sys stdout flush