Moved RFC 2518 (WEBDAV) support to a separate module. Rev: server/base_server/configuration.pike:1.540 Rev: server/modules/misc/webdav.pike:1.1 Rev: server/protocols/http.pike:1.405