Clean
Implement AppRec
Improve toString of App
Add support for equality
Add proof exporter for Skeptik's format
Clean commented-out code
Change how conclusions are exported
Implement parser for Skeptik's proof format
Create base abstract ProofExporter
Remove logging and clean ProofParserSkeptik
Improve ProofCompressionCLI