Upgrade Prism JS

Upgrades to Prism JS -- dev being done on it daily.  Did have to update our syntax-prism.js resource to encode `<` and `>`, however.