travis: install gmp