Remove Docker build images

The build containers are defined in the new `buzzy-docker` repository,
so that the Docker Registry won't rebuild these super-huge containers
every time we push a new patch up.  The build scripts work as before;
they just now assume that the various build containers have been already
built by the Docker registry, and can be retrieved using a simple
`docker pull`.