A WebDAV Client in Python