webdav needs xml support, so disable it if no xml support is selected, otherwise configure could get confused about a host xml2-config script.
Fixes CVE-2008-3746.