How to set-up a nginx-vertx-redis application infrastructure using https://www.docker.com.