tools: making sure that files create by 'go generate' files are up-to-date
tools: making sure that files create by 'go generate' files are up-to-date

Change-Id: If42640803533787cbe77fde029b480d960f52109

vanadium/go.jiri,vanadium/go.jiri