Improve INSTALL's discussion of libdsa/libgmp a bit.