python stdout readline