Ends version 0.4
Reload button
Add tool tips to the buttons
Save unsaved changes before quiting
Fix font size.
Fix vertex dragging
Change default radius and improve label positions.

- The new default radius is 1 unit, which I found more adequate in the
  experiments.
- The node's labels are now more centered.