Add —-dump option to dump the input files to a ZIP file for debugging