Highlight specific lines and/or line ranges

[nathany]

One nice feature of Prism.js is a plugin to highlight specific lines.

A really nice use case can be seen in Dive Into Python 3.

I think Tokens#split_into_lines will make it possible to do this in an (external) extension.

[tschmidt]

👍