Clean up INSTALL.md a bit.