added a package for apron, it needs the conf-mpfr package to exist in the
OPAM repository hence I put it in the same branch