new info field on every node

Add a new polymorphic info field on every node of the graph. The class
InfoKind constrains the info type, and eventually (in module Main), the
type must be resolved to something concrete, for now just ().
Meanwhile, the info field can be displayed on the diagram (there is a
new View menu, controlling the value of DisplayOptions), and edited as
if it were text (parsed back via Read class).