Fixup tools-poly/configure.sml for OSX.

Added -lgmp to tools-poly/configure.sml for OSX. Fixed up comments to refer to
the correct override file for tools-poly/smart-configure.sml