Add solarized theme, make solarized-dark default