Some markdown fixes for INSTALL.md