How do you read from stdin? How do you read from stdin? python python