Even if it could be modified Remove duplicated installation instruction. If it is useful it should be INSTALL.md