We had a user request to add the repository ID to the parameters passed

in to builds, to allow them to have fewer separate configurations. This

change adds that, and also adds a little bit of additional logging for

cases where the integration can't communicate with the server.

Ran unit tests.
Triggered a Jenkins job and verified that the repository ID was among

  the parameters passed to it.