Update .travis.yml; libgmp-dev