update docs and INSTALL