Update color-theme-solarized