Improve text editor.

In this commit I replace the old JOptionPane based label editor with a
new "in place" editor. In this new editor the editing occurs just where
the text will be placed, inside the node or on the edge.