add lib-gmp to travis