add libmpfr to travis build