use python to count file lines