Documentation updates (README and INSTALL)