Add convenient files for processing all proofs within each directory