Install libgmp-dev on Travis.