Adding a conf-gmp package
conf-gmp: (slightly) less basic test
zarith: Use conf-gmp
numerix: Use conf-gmp
mlgmp: Use conf-gmp