Currently, the docker setup has no cluster support at all, and the support at platform.sh is limited and broken

In order to support clustering, this must be in place:

• session stored in redis
• cache stored in redis
• enabling dfs file handler