Provide tag builds of docker images and optionally use them

[timfallmk]

Currently we push (and use) docker images for radar using the tag git-{commit sha} only. We should at least push tags with each git tag, and optionally use them.