devenv.nix: add gmp, mpfr