* .travis.yml: Add before_install target to install libgmp-dev