#223: Adds Redis for cache, session

Settings & drivers to power use Redis for cache and session persistence. Requires PHP Redis support, e.g., `php5-redis` in dpkg systems.