Use codemirror editor on webpage