fixes #179

moved the contents of ext-searchbox.js to ace.js so firefox would load
it.

Also did some minor visual cleanup.