Add redis and solarized