tools/dockerfiles: Switch docker registry when not pushing to master

It enables to test proper build of docker images when their dockerfiles are modified without impacting the images used by our Jenkins jobs.