Switch to mpfr-3.1.2.tar.bz2.
Tidy makefile.