Download and build GMP library