Use CodeMirror from a CDN