Fix the profiling so it replaces all + signs, not just the first one
Fix the profile report so it refers to command, not system'
#124, finish the profile demo report
Tidy up the profile report help message
#95, refactor the progress code, no functional changes
#95, add a note about an invariant on decay
Add liftA2' to Base
#95, more refactoring of the progress, use liftA2 in some places
#95, compute timeBuilt and timeTodo separately and take the weighted average, restores the invariant on decay and fixes progress messages