graph.py: label branch nodes appropriately in minified arbors.
graph widget: simplify and improve.

 * start off with a force-directed layout.
 * render branch nodes smaller in minified arbors
 * simplify GUI: no more "update" button, selecting the layout triggers re-layout.
 * acknowledge state: if short labels, or if no labels.