INSTALL: update documentation