Update mpfr to 3.1.2
Remove old MPFR patches
Merge pull request #159 from Alexpux/develop

Update mpfr to 3.1.2