Automatic caseFold search

Change the hooks in js/codemirror/searchcursor.js so that they call functions with the argument caseFold = true;
Fixes #140.