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