python取txt文件的若干行到另一个文件