Adding a conf-gmp package
zarith: Use conf-gmp
numerix: Use conf-gmp
mlgmp: Use conf-gmp