Optimize HtmlHighlighter
Some speed improvements on HtmlHighlighter. htmlhighlighter_test
goes from 1150ms to 1015ms (~12% faster).
The latest commit removes the replacement of " and > by corresponding entities (unnecessary here), but this requires all *.html files to be updated.