codemirror updated to 4.4
codemirror options updated
Fixes #553