fixing travis

- add lib-gmp to travis