no more CodeMirror dependency in pyret-land