Adding TOC to `INSTALL.md`.