Issue 6850 Part I: Added CodeMirror search addon
Added basic search feature (currently still broken; related to issue
6850)
Fixed basic Script panel search (still some glitches; related to issue
6850)