Add INSTALL documentation.