We are providing a fully working configuration for base use, plus a
docker specific one, which overrides the base if the IS_DOCKER
environment variable is specified.
Now it is possible to set up server, manager and dashboard with docker.
More detailed instructions on build and configuration of the various
docker images will be available later.