Name tags for nodes and states

[jaantollander]

Nodes and states should have optional name tags that would be displayed when printing results. Tags are strings, preferably a maximum of 3 characters long, and default to the node or state index value. We should warn users that if they exceed the limit, the printing output may not display nicely.