Update changelog.

Note that IntInf-free programs compile to executables with no residual
dependency on GMP.