Update gerrit project rename instructions

We have a git farm now rather than a single git server.

And we can remove workspaces with salt.

Change-Id: If7395db9e3809e6589ce07ceef30e1d942362efe
Merge "Update gerrit project rename instructions"