Fix libgmp package names in travis config