disable CodeMirror drag/drop on Safari

workaround for marijnh/CodeMirror#332

closes #3375
Merge pull request #3378 from minrk/dragDropSafari

disable CodeMirror drag/drop on Safari