A gitlab installation in a Docker container with separate MySQL and Redis containers