[.travis.yml] rename gmp to libgmp3-dev