A simple WebDAV synchronizer