add libgmp-dev to .travis.yml