jiri-profiles: Update to latest mojo sdk.
jiri-profiles: Update to latest mojo sdk.

MultiPart: 1/5

Change-Id: Ifbcde877061140bd343e0bab2d5dd4f2265163f5

vanadium/go.devtools,vanadium/go.devtools,vanadium/go.devtools