Add scripting to migrate to cert-manager-v0.7.2
Add scripting to migrate to cert-manager-v0.7.2

This is one step towards fixing #14.

Change-Id: I057ad57be283f7d37ff7b7b3563696c39aa16e80
GitOrigin-RevId: 188edeaa5f588ea323d7a86c9a5f0aa831154700

googlecloudrobotics/core,googlecloudrobotics/core,googlecloudrobotics/core