WIP, release 8.1:
* Changes Highlighter.php
* updated and new languages
* updated and new code snippets