Disable CodeMirror smart indentation

Fixes #966.