Add Solarized color theme for Gnome terminal.