Add HighlightNonASCII plugin.

HighlightNonASCII is a simple plugin that highlights all non-ASCII characters in the current document.