Bring README and INSTALL up to date with respect to current reality.