We already have the binary GMP DLL for Windows in the GHC tree. We should add the binary GMP dev stuff too, and then get rid of the in-tree GMP source. That would reduce build times, and simplify the build system.

I'm assuming installing GMP on other non-Windows OSes is not painful. We probably want to point to a framework for OS X users to use.