Updates

Tidies up some sloppy markdown in INSTALL.md and highlights the new
INSTALL document in the README.