Replace the custom `docker-tag-delete.sh` script in builds with the official (but experimental) [docker/hub-tool](https://github.com/docker/hub-tool).
Replace the custom
docker-tag-delete.shscript in builds with the official (but experimental) docker/hub-tool.