Update js/codemirror/lib/codemirror.js

This is regarding the bug at https://sourceforge.net/p/phpmyadmin/bugs/3790/
There just replaces the codemirror.js into the file which use in version 3.5.5