add libgmp to travis dependencies