Minimal WebDAV server