Use SolarizedDark theme for Terminal.app