contrib/jenkins: do install --user

Don't install to /usr/local.

Fix for:
  error: can't create or remove files in install directory

Change-Id: Iebed8e3832047e8f19e5a88fcddd1a8242b9f096
2 files changed