Highlight types such as <type> in Python code blocks

Simply runs a regex replacement after highlight.js does the rest of the
highlighting. As a consequence, it does not highlight strings such as
`<class>` which contain a Python keyword. This is infrequent
though.