create_configif: Improved --batch mode.
Previously it was necessary to list all settings for --batch
(also those that have defaults) to avoid interactive queries.
Setting the batch setting "ok" to "n" now causes interactive
confirmation. Previously it caused an infinite loop.
The batch setting "server_url" now defaults to "https://*:22202/"
as per tradition.
The server url protocol setting now defaults to "https".
The settings confirmation check is now case insensitive.