Updated INSTALL and README a bit