python stdout readline timeout