Add params to codemirror so that the user can select a font, size, and line-height.
improvment to codemirror loading code (js), version bump for codemirror plugin.