Make mainClass in jar be the new ProofCompressionCLI