Upgrade GMP in Travis test