change jenkins service account username

the doc wants us to rename this user.
I think I was just using 'gerrig' in the past.

Change-Id: Ia96a758f71133adab547d7861887eba0bbe7fa03