[constant-trickery] Install GMP extension on Travis.