bookmarklet: add minified version (aka BOOKMARKLET)

(also rename source file and manually insert semicolon)
Merge pull request #7 from eins78/bookmarklet

bookmarklet: add minified version (aka BOOKMARKLET)