Clean up INSTALLATION.md.

Address #37