Python 替换.txt文件中的字符