Docker build

Start from a fresh repo

git clone --recursive https://somewhere/DEVINE
./DEVINE/docker/build.sh

For more information on how to use the script, use the --help flag on the scripts.