Saxon 9.5.1.3 SHA1 correction

The SHA1 hash for Saxon 9.5.1.3 is incorrect. I've added the correct hash.