externalize a bookmarklet.js file (close #7)