see #8470: extrude mode option - extrude.drag-nodes-without-ctrl


git-svn-id: http://josm.openstreetmap.de/svn/trunk@6037 0c6e7542-c601-0410-84e7-c038aed88b3b