Dealing with stdin (standard input) in Python