Replacing WSGIDav with EasyDAV, as the latter has a HTML interface.

Actual WebDAV will still require the auth problem to be fixed.
Allowing package installation by developers.
Integration of EasyDAV complete.