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