python while readline stdin