Efficiently concatenate CSVs — or other tabular text files — stripping extra header lines.