devtools/v23: recording the v23 tool in the manifest created by "v23 snapshot create"
devtools/v23: recording the v23 tool in the manifest created by "v23
snapshot create"

Change-Id: I224b0722b163a7543933295749c8ef9f8cac1115

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