short bash script to copy bookmarklet to clipboard
wrap bookmarklet in void() so it works in Firefox