PCC: Final proof definition + resolution
PCC: LUnits example
PCC: experiment and conclusion
PCC: corrections (spell checker)
PCC: Final version (perhaps)
Add "Presentation-Only" to the title
Remove reviews
Add new active developer
Merge branch 'develop' of https://github.com/Jogo27/ResK-GSoC into develop
Delete sources of papers and slides

Papers and slides are now respectively in "Paradoxika/Papers" and "Paradoxika/Talks".
Fix broken link in README.md
Implement a parser for a simple language for composition of proof compression algorithms
Generalize CLI to allow the applications of multiple algorithms to the proof
Relocate calls to proof measurements

Previously all output proofs had to be kept in memory, in order to be measured later.
Now we measure them as they are produced, and then we can implicitly discard and garbage-collect them.
Update CLI's help message
Adapt usage example to changes in the CLI
Generalize CLI to allow multiple input proofs
Implement output to csv file in the CLI
Make csv output optional
Simplify usage message in CLI