New dragging and positioning features.
This commit fixes a couple of bugs and introduces new features.

	- double click on a node highlights the neighbors
	- highlighted nodes can be dragged as a group
	- better positioning of term nodes
	- and other things...