Update codemirror. Closes #7013

Please ignore. Wrong repo.