Add width measurement
Make width the standard criterium for choosing premise
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 'origin/feature/lowerMiddle' into lowerMiddle
Curryfy RedRec functions
Simplify RedRec.reduce
Fix lowerMiddle rule