python，fileinput 将多个文件合并为单个流