fix bug 880197 - Upgrade Prism highlighter

Basic upgrade: bug fixes, optimizations, etc.

A bit peeved because there's an "official" line-number plugin; tried to remove mine and use the official one, but it's not compatible with the line-highlight plugin, so not of use to us.