Use official solarized theme with color-theme
when using eamcs on terminal