Use pygments by default if it's installed