Update .travis.yml
Update .travis.yml; libgmp-dev