Universal syntax highlighting
Adds syntax highlighting as a right-click/context menu entry for any <pre> and <code> tags in a page, and allows you to wrap selected text in a page with a <code> tag.
To change the CSS theme, modify the @require highlightJsCss line in the script. There are some good themes at cjdns
Uses the HighlightJS minimal JS and CSS.
