python统计文件中的字符数