Replace current jenkins url with a placeholder

This is necessary to restore Jenkins in an automated fashion.
Prefix Jenkins instances with "dev_infra"