tools/mpfr: update to 3.1.3