update to CodeMirror 3.15

Please update to CodeMirror 3.15, released on 2013-07-29.