Adapt URL for querying check runs

The URL of the REST endpoint exposing a query for check runs in
Gerrit was changed to better fit the REST API model used by
Jenkins.

Change-Id: Idfaf8dd7ee7138a7ac3e611356677923b8eda416

web/fetcher.ts

diff --git a/web/fetcher.ts b/web/fetcher.ts
index a82eaca..ea2873c 100644
--- a/web/fetcher.ts
+++ b/web/fetcher.ts
@@ -92,7 +92,7 @@
       // TODO: Requests to Jenkins should be proxied through the Gerrit backend
       // to avoid CORS requests.
       await this.fetchFromJenkins(
-        `${jenkins.url}/gerrit/check-runs?change=${changeData.changeNumber}&patchset=${changeData.patchsetNumber}`
+        `${jenkins.url}/gerrit-checks/runs?change=${changeData.changeNumber}&patchset=${changeData.patchsetNumber}`
       )
         .then(response => response.json())
         .then(data => {