Upgrade JGit to 5.1.13.202002110435-r

Aligns with the version used starting from core Gerrit 2.16.17.

Change-Id: I64fbebc113e5173cc346b4ec3affa32feed1d4fc
1 file changed