Add simple resolution to the skeptik format
Fix typo
Allow arbitrary subproofs' name
Add forged sample proofs
Uniformize resolutions' parser
Merge Paradoxika/Skeptik/develop
Fix some mistakes in the CLI
Merge commit 'a3002dc00248d3a02adaca7c2d809d98f425e636' into develop

* commit 'a3002dc00248d3a02adaca7c2d809d98f425e636':
  Fix some mistakes in the CLI
  Uniformize resolutions' parser
  Add forged sample proofs
  Allow arbitrary subproofs' name
  Add simple resolution to the skeptik format
Move Joseph's proofs to the folder "examples"
Merge remote-tracking branch 'upstream/develop' into develop

Conflicts:
	src/main/scala/at/logic/skeptik/algorithm/compressor/package.scala
Remove reference fixedPremise, merge with main repository