Merge branch 'hotfix/0.1.3'
Merge branch 'release/1.0'
Merge branch 'develop'

* develop:
  Add torrent files with all proofs used in the experiments
Make read parameters of compression ratio type safe
Flexibilize storage of measurements
Make computation of proof size lazy.
Add time output to human-readable output
Refactor CSV output

Now it is robust w.r.t. addition or removal of new measures and it also shows time measurements
Prettify usage text
Merge branch 'CLI' into develop

* CLI:
  Prettify usage text
  Refactor CSV output
  Add time output to human-readable output
  Flexibilize storage of measurements
Change paths to NoOutput and StandardOutput
Merge branch 'CLI' into develop

* CLI:
  Change paths to NoOutput and StandardOutput
Merge remote-tracking branch 'upstream/master' into develop
Merge with Skeptik/develop and fix bug in RU
Rename Subsumption algorithms
Implement ForwardAxiomSubsumption and move fixNodes to algorithm/compressor/package.scala

Relates to Issues #79 and #76
Implement possibility to change traversal order when creating a proof from root node and implement corresponding versions of Subsumption algorithms
Fix bug in BottomUpSubsumption

relates to Issue #77
Rework Subsumption algorithms and add version of fixNodes without redundant parameters
Fix bug in bottomUp - time subsumption

ancestors were not computed correctly