Update readme w.r.t. new CLI
Rename SBT tasks
Refactor utilities
Create pretty printing utility package
Relocate import in 'at.logic.skeptik.util.time'
Add more functions to math utility package
Add a ToDo
Implement function to measure proofs
Fix type parameter
Improve CLI by making it display info about the proofs
Move folders