mpfr soname bump in rawhide

[Ivana Varekova]

Hello,

mpfr-3.0.0 is now build to rawhide branch and soname is bumped to 4.0.0 
there.
MPFR 3.0.0 is binary incompatible with previous versions and also is not 
completely API compatible.
The most important changes from versions 2.4.* to version 3.0.0

   *  MPFR is now distributed under the GNU Lesser General Public 
License version 3 or later (LGPL v3+).
   * Rounding modes GMP_RNDx are now MPFR_RNDx (GMP_RNDx kept for 
compatibility).
   * A new rounding mode (MPFR_RNDA) is available to round away from zero.
   * Functions mpfr_random and mpfr_random2 have been removed.
   * mpfr_get_f and mpfr_get_z now return a ternary value.
   * a lot of new functions
full list of changes is on:
http://www.mpfr.org/mpfr-current/#download

The packages which depends on mpfr should be rebuild against the new 
versio. The list is:
avr-gcc
CGAL
gappa
gcc
genius
ghdl
gretl
libfplll
libmpc
Macaulay2
mingw32
rasqal
seed

Ivana Hutarova Varekova