Adds search options to find / find&replace

I use regex searches all the time for finding and replacing text
so I changed the searchbox extension a little bit to do what I want.
I added in the whole word and case sensitive options too. It works
nicely and updates the highlighted bits when the checkboxes change.
tweak searchbox options
fix setAutoScrollEditorIntoView and use in demo page
early error on tokenLength/matchCount mismatch
add autoindent after { and brace pairing for logiql
fix typo
restart search after toggling option
Merge pull request #1329 from ajaxorg/searchbox

logiQL