devtools/v23: Add deprecation notice for v23 tool.
devtools/v23: Add deprecation notice for v23 tool.

Change-Id: I2525ff0d6c4b1f07296070f54d8dd040e7ed18a0

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