Factorize code related to measurement
Use scalax.io for input and output
Add option to switch off verbosity
Remove cr option
Add option to disable header in csv
Make output channels fully customizable in the CLI
Refactor code for prettyTable
Fix indentation
Add comment about performance
Fix issue #72
Merge commit '25276d759bfb67aa5b590434264fa4f2551ac0d2' into develop

* commit '25276d759bfb67aa5b590434264fa4f2551ac0d2':
  Fix issue #72
Remove parsing of many comma-separated algorithms

Comma-separated algorithms are not allowed in the CLI anymore. Therefore, parsing comma-separated algorithms is irrelevant.
Remove tasks from build.sbt

Tasks shall be defined in project/Build.scala
Extend "make-pom" and "one-jar" tasks and define "compress" task
Automatically update pom.xml to reflect new build.sbt
Reorganize CLI code
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