Switch to Highlight.js for syntax highlighting

This replaces Rainbow with Highlight.js for syntax highlighting. Highlight.js supports more programming lanuages and has more styles
than Rainbow.

This also improves how vendor scripts are included into the checked-in source tree.