Submodule update. Fix the build for Travis by building rust-gmp.