Add some updates to the INSTALL and README files