doc/INSTALL.md added