Add Redis to production Docker configuration

docker/docker-compose.prod.yml

@@ -13,6 +13,22 @@ services:
       - "${NEPTUNE_PORT}:8000" # uwsgi socket
     env_file:
       - ../stack.env
+    volumes_from:
+        - tmp
+
+  tmp:
+    image: busybox
+    command: chmod -R 777 /var/run/redis
+    volumes:
+        - /var/run/redis
+
+  redis:
+      image: redis
+      command: redis-server /etc/redis.conf
+      volumes:
+          - ${PORTAINER_GIT_DIR}/docker/redis.conf:/etc/redis.conf
+      volumes_from:
+          - tmp
 
 networks:
    default: