Upgrade to CodeMirror 3.15; Add option to set font size