FUSE file systems as WebDAV servers