v4.0: replace jsDAV with lively-davfs