remove unused remnants of prism syntax highlighter

We're using highlight.js now.

- https://github.com/isagalaev/highlight.js
- https://highlightjs.org/