jenkins: make Git plugin verbose

The Jenkins git plugin can be made verbose by passing an argument to
jenkins when it is started up.  That would let us figure out what is
happening in some corner cases.

Change-Id: Iffec56585fed854411f86e433904a9055b069d0f
Merge "jenkins: make Git plugin verbose" into production