INSTALL: add installation instructions