how to read user input until eof?,input_str = sys.stdin.read()