An interface to WebDAV servers for Emacs