python auto flush stdout