Replace shell scripts by SBT tasks
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
Remove algorithms with bad performance
Move combined algorithms to parent package
Clean