make bookmarklet.js executable
bookmarklet: output instead of write to file
add update_bookmarklet.sh