Automatically generate 'unique' label for vertex and edge.

Also, draw vertext label.

But very soon, I will move the drawing code out of the model code
so we have better separation between view code and model code.