A simple tool to switch between different variants of the Solarized color theme