Add docker changes to config.ph via file

[gedtn]

config.example.php was changed to allow for config changes directly relating to docker deployments to be included via a file, called config.docker.php