Extra labelling and node selection

Nodes may now have dual labels above and below node or none at all.
Selected node is highlighted.