TBR: devtools: fix tool name check
TBR: devtools: fix tool name check

PresubmitTest: none
Change-Id: I0647789ca828d981c4770799f14d2c55fb3756e0

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