Merge pull request #60 from AFellner/develop

Altered the CLI message
Add comment about timeout
Add implicit conversion in DAGify
Remove files that were moved to the Papers repo
Add convenient methods in SequentLike
Merge commit '5ca9d522f7bad850cd3e617d3d15ef558a6064a3' into develop

* commit '5ca9d522f7bad850cd3e617d3d15ef558a6064a3':
  altered the CLI message
Implemented a first version of the naive subsumption algorithm

I also created a test proof which shows the desired behaviour.
Relates to Issue #63