A server-side bookmarklet compiler with greasemonkey userscript-like metadata options