gui: deduplicated events diagram task-to-task onfinish edges
gui: reingeniered graphviz code to separate it from config & webconsole
gui: workflow diagram now has tooltips and links to subtasks
gui: every graphviz diagram now has tooltips and links to tasks
sched: temporarily fixing segfault on shutdown by not destroying alerter