Fix local repository locations

Since project-config/06199e8 the `/home/jenkins/workspace-cache`
directory does not exist. The local cache of the repositories live under
`/opt/git`.

Change-Id: I7f7ccdad83001280b188423f4fcf84879fedcfa1