Automate the build of index.html

This also means the js files not needing the weird bookmarklet prefix