Add libgmp dependency for travis