highlight specific nodes

[Dan Bean]

add a "highlight" class, can be set via a toggle from the node edit pane

also allow batch editing: - enter list of node names to highlight - clear all highlighting

check: - highlights saved and loaded correctly - highlights remain after other operations that affect style e.g. find path