如何使用Python从文本文件中读取许多字符?