Switch to solarized theme for Pygments