Add more pygments options.