Redis update

Updating the Redis and Drupal page to include PhpRedis which is now available on Platform.sh.