Add GMP dependency to travis