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