devtools/lib/util: point the config file to the new location.
devtools/lib/util: point the config file to the new location.

Change-Id: Iba38e94498c4e0bebf4f9e8bb65e3b3b2ce2575c

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