Allow setting a pathname for docker executable

docker executable ships as `docker.io' on Debian.

Usage:
$ DOCKER=docker.io ./build.sh