add CodeMirror searchcursor.js plugin