Use LeoTestard/rust-gmp as remote for the rust-gmp submodule.