Added search/replace functionality as demonstrated on http://codemirror.net/demo/search.html
- Note: Since CTRL+G is already taken by our "Go To Page" feature, and it seems to overwrite the editor's CTRL+G functionality, F3 was chosen as shortcut for the "Find Next" function. Of course, focus needs to be on the editor for the shortcuts to work right.