Put DavServer in test_dav.py to avoid issues with where to find it