tools

Docker images of the tools are pushed into three places; Docker Hub, GitHub Container Registry and Quay Container Registry