Redis support with Drupal Redis module (implement #12)
In settings.sh, there is optional REDIS_HOST variable. when it is set, e.g. REDIS_HOST=redis, the config script will install Redis module and configured to use Redis server with designated hostname.
(Implements #12 (closed))