Remove obsolete build-images script.

It is for building docker images, which is now done via the hub.
Adjust image names.
Make promote-images executable.
Wait for image to be copied, as well.
Delete old images.
Typo: slave image name.