don't update GoalViewer if multiple steps - refresh on error
force invalidation if we decreased annotation
fewer debug output
only refresh if in proof mode
update changelog (neglected for quite some time)
update todo
don't use all the CPUs
same here (do not use too much CPU)