Move gmp into libraries/integer-gmp