Update delete tag example with regctl

The tool suggested originally was `reg`, however, this tool
has not been updated since 2019 and users have reported
problems with deleting certain tags from the registry.

This commit introduces a new tool `regctl` which supports
deleting tags from a registry by using the proper endpoints.