mpfr: version bumped to 3.1.2.

For testing purposes. For testing purposes. The module keeps the old libmpfr.so.1.2.2 file
 in order to keep gcc functioning. After relin of the gcc and glibc
 the old lib file can be removed.