Update INSTALL so as to no longer refer to cvs