devtools: add several missing github mirror targets.
devtools: add several missing github mirror targets.

PresubmitTest: none
Change-Id: I25b5d29cba3d188aff98ce25f2361d0152a3a814

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