FF Dortmund (FFDO) specific Gluon configuration
See https://docs.docker.com/installation/#installation on how to get Docker.
./build.sh
docker rm ffdobuild docker rmi ffdobuild