IntInf implementation updates.

Various updates to IntInf implementation.  Highlights:
 * Reorganized runtime support for IntInf operations so that programs that do not use IntInf compile to executables with no residual dependency on GMP.
 * Fixed bug in `MLton.IntInf.fromRep` that could yield values that violate the IntInf representation invariants.