Fix typo
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"
Add let expression in VeriT format

Fix issue #68