Use docker/hub-tool to clean up intermediate image tags

[lmakarov]

Replace the custom docker-tag-delete.sh script in builds with the official (but experimental) docker/hub-tool.