A simple plugin to make bookmarklets easy to install