Ignore progress bar things from git
Improve the docs for isFailure
Fix an mappend ==> mplus in Progress
Move the ruleinfo binding towards its use
Remove isRunning, signal completion by killing the progress reporting thread, ensures Finished messages always appear instantly