TBR: tools/lib/jenkins: fix jenkins API url.
TBR: tools/lib/jenkins: fix jenkins API url.

Change-Id: I9484bf166853e137da1832674f27846e71be3115

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