Do not use the pygments based highlighter if the user does not have pygments (will happen on some linux distros and for people running from source who dont update the binary)