tools/mpfr: Update to 3.1.6