[python] How do you read from stdin?