add libmpfr-dev to .gitlab-ci.yml