Updated build information

Before this change, the build would fail because the Travis diddn't know
from where to get libgmp.

This commit instructs Travis on how to get libgmp.