cmd/principal: Counterpart to https://vanadium-review.googlesource.com/#/c/9131/
cmd/principal: Counterpart to https://vanadium-review.googlesource.com/#/c/9131/

MultiPart: 2/2
Change-Id: I990a90949c53840e359a75974117f3980ef4e84b

vanadium/go.ref,vanadium/go.ref,vanadium/go.ref,vanadium/go.ref,vanadium/go.ref,vanadium/go.ref