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