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
Correct comma placement in csv
Chenge comma-separation to space-separation in the CLI's list of filenames
altered the CLI message
Merge pull request #60 from AFellner/develop

Altered the CLI message
Add comment about timeout