php-horde-Horde-Mime-Viewer: use system syntaxhighlighter