CORE-4819: some small changes to INSTALL.md and README.md