r11224: Add feature to get our configuration from config.log into installman.sh.