Upgrade JGit to 5.1.3.201810200350-r

This aligns with the version used on Gerrit's stable-2.16 branch.

Change-Id: I161471a206641ca1434b7f1e086a90738735efd1
1 file changed