Add solarized-theme. Why? Who knows.