Edges can have control points

The concept of a "control point" on an edge is introduced, to aid the
clarity of diagrams. A control point is just an intermediate coordinate
that the line must pass through when drawn. In the code these are known
as "via" points for short. They can be added through a context menu on
an edge; they can be dragged and dropped; they can be deleted through a
context menu on the point itself.