Update CodeMirror to v6 #95
Description
The upgrade guide is available here: https://codemirror.net/docs/migration/
To sum up, everything has changed, so we may just as well use something else.
The rationale for upgrading is mostly small syntax highlighting annoyances.