Bug Fixes in Development Tools
Fixed "mouse double click collision."
This patch fixes the 'delete point' collision:
- remove of 'delete points' double click action
- a new context menu entry named 'delete point'
- a new 'delete point' mouse action triggered by ctrl-mouse-left-click