#16 "Ctrl-D" deletes instead of "DoIt"

Originally at 2015-01-20T21:23:30Z by Hannes Hirzel Issue detected in #9 Ctrl+D does not work as DoIt on Chrome / Win (probably update CodeMirror). The same thing for FF / Linux Mint. In both cases the selected line is deleted. This should be fixed in a new branch gh-16 first.