Use solarized theme, add theme switcher based on daylight