Upgrade JGit to 5.1.13.202002110435-r

Aligns with the version used starting from core Gerrit 2.16.17.

Change-Id: I2578e1a2b30f7c805ea17ed97c58ab226d1eb55c
1 file changed