tools/conf: add third_party repo/projects to the config.
tools/conf: add third_party repo/projects to the config.

Change-Id: Icc25471212c2e9ba26d073cbd3bbb46bb8518701

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