[python] Python: printing a file to stdout