brief updates to INSTALL and README