Redis settings cleanup #30
Description
The redis settings are substantial and a good candidate to move into a standalone file.
They also assume the env LAGOON is set, and that's not really necessary nor over-rideable if not in this context (testing or hosting elsewhere). include a redis.settings.php from all.settings.php if ENABLE_REDIS.