A new setting to override the IP address auto-detection.

This can be used as workaround if the autodetection of the hosts IP address does not work (see issue #19).