Read a File from redirected stdin with python,result = sys.stdin.read()