update CodeMirror to 3.19

released on 2013-10-21