python 读取及修改配置文件