Merge pull request #159 from Alexpux/develop

Update mpfr to 3.1.2