improvment to codemirror loading code (js), version bump for codemirror plugin.