terminal and iTerm themes switched to solarized