Upgrade JGit to 5.1.13.202002110435-r Aligns with the version used starting from core Gerrit 2.16.17. Change-Id: I64fbebc113e5173cc346b4ec3affa32feed1d4fc