INSTALL: clarify a bit more how Configure treats "unknown" options