Description of configuration options for docker

Configuration option=Default value	Description
docker_registry_default_port=5042	(IntOpt) Default TCP port to find the docker-registry container