Adding a conf-gmp package
conf-gmp: (slightly) less basic test
zarith: Use conf-gmp
numerix: Use conf-gmp
mlgmp: Use conf-gmp
Merge pull request #1290 from nbraud/gmp

Add a conf-gmp package, and use it as a dependency for relevant packages