Solarized color theme for DrRacket