emptycommit-12104
Added metaMPFR in the tools directory of MPFR.
* Other corrections (essentially bad or missing declarations) in metaMPFR.