Document some overridable makefile variables in INSTALL.