add gmp and gmpxx

Signed-off-by: Mattias Andrée <maandree@operamail.com>
gmp

Signed-off-by: Mattias Andrée <maandree@operamail.com>