bookmarklet: add minified version (aka BOOKMARKLET)

(also rename source file and manually insert semicolon)