Safe redis config

[mariacha]

See #9

Right now you can enable Redis in Pantheon without enabling the Redis module, and then your site gets a WSOD if you've got the redis config in your settings.php file.

See if there's a way to prevent that. You can't see if a module is enabled in the settings.php file, but perhaps there's a $setting or $conf variable that Redis the module sets?