travis: install libgmp-dev