v.io/tools: Update v23 tool to download the correct Go version.
v.io/tools: Update v23 tool to download the correct Go version.

Change-Id: I442bf5ce5dd3d57a46d3bb51559166f221fefad8

vanadium/go.jiri,vanadium/go.jiri