updating contrib/docs/INSTALL from master