add libgmp10 to dependency list

Closes https://github.com/facebook/hhvm/issues/3818