Add flag for verbose solving

Also fix the return value of solve/4
Make the scheduler work properly

Also add flags for
- Verbose scheduling
- Verbose file/folder deletion