Only build Docker images for Git tags. Also tag Docker images, so a specific PRM version can be used if necessary.