Add Solarized theme switcher for GNOME Terminal