Changes

The BaseX WebDAV Server can be accessed using either with a <code>http:&#47;&#47;<httphost>:<httpport>/webdav/</code> or <code>webdav://<httphost>:<httpport>/webdav/</code> URL, depending on the used WebDAV client. For exampleBy default, afterstarting the HTTP server, the following URL will be provided: <code>http://localhost:8984/webdav/</code>.