Update INSTALL for the non-libgmp large-number code.