added package conf-mpfr

@dsheets Sure. Still, no other opam packages use this technique for checking whether dependencies are installed, and for a good reason--it's too late. This should be done at dependency resolution time.