Add libgmp10 to ubuntu-precise; resolves travis-ci/apt-package-whitelist#2504
Add libgmp10 to ubuntu-precise; resolves travis-ci/apt-package-whitelist#2504

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

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