Update jquery-codemirror.js