Implement extended csv format, merge with batch processing of CLI
Write compression ratio infos to seperate file, Merge commit
'd61d910527167ed1642889984f22b41ae8d51d1e' into develop
Remove mistake in merging
Fix bug in output of compression ratio, merge with upstream/develop
Merge commit '0b6adf8154ee2cbb9694d17be023c02dccc23a6d' into develop

* commit '0b6adf8154ee2cbb9694d17be023c02dccc23a6d':
  Fix bug in output of compression ratio, merge with upstream/develop
  Remove mistake in merging
  Write compression ratio infos to seperate file, Merge commit 'd61d910527167ed1642889984f22b41ae8d51d1e' into develop
  Implement extended csv format, merge with batch processing of CLI

Conflicts:
	src/main/scala/at/logic/skeptik/ProofCompressionCLI.scala
Implement directory option