Build the shared library for gmp on OS X

It seems to work on 10.7.
Bump the build number for isl