include lunr in index.js

fix #103

- Library thing *should work*.  
- Better copy welcome.
Use minified version of lunr.
Show correct devtools link based on the browser.

Uses some really suspect browser sniffing to try and determine which
browser is being used.