Add configure test for mpfr.h

Also include libmpfr-dev in install-debian-deps.sh.

Signed-off-by: Morten Hustveit <morten.hustveit@gmail.com>