Update codemirror. Closes #7013