allow highlighting mode => language id mapping to be configured in the JSON config

this allows to add new servers without needing to adapt the highlighting
to mode mapping manually in the plugin sources