view.py: sort edges in dot output so the graph is roughly in token order