INSTALL.md: Explain the effect of using different configure options.