Python使用三种方法批量修改记事本文件编码格式