rest2html: Add support for highlight directive#925

kivikakk merged 1 commit intogithub:mastergithub/markup:masterfrom

bgamari:rest-highlightbgamari/markup:rest-highlightCopy head branch name to clipboard