Removed solarized terminal color setting tools (for now)
Added gnome-terminal-colors-solarized again
Added mate-terminal-colors-solarized again