A set of simple Python scripts for pre-processing large files