Remove the unused WebHTMLHighlighter SPI and related CSS property.
Created attachment 223573 [details] Remove CSS property, rendering code, and chrome client interface
Committed <http://trac.webkit.org/r163717>.