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