tools/mpfr: Update to 3.1.5 and change to xz tarball