INSTALL.md: more TOC stuff

use doctoc to automatically do a TOC on this document.