Using GitHub Flavored Markdown in INSTALL.md to fix some mistakes from commit b903f8788c