Add libgmp10 in trusty to ubuntu-trusty; resolves travis-ci/apt-package-whitelist#4017
Add libgmp10 in trusty to ubuntu-trusty; resolves travis-ci/apt-package-whitelist#4017

Packages: libgmp10 libgmpxx4ldbl libgmp-dev libgmp10-doc libgmp3-dev

travis-ci/apt-package-whitelist,travis-ci/apt-package-whitelist