added script that can preprocess a pickled dataset and create another pickled dataset
added script that can preprocess a pickled dataset and create another pickled dataset

MartinThoma/write-math,MartinThoma/write-math,MartinThoma/write-math,MartinThoma/write-math