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