Permit administrator to disable WebDAV on individual repositories.
This is necessary for repositories that depend on session credentials
because clients such as Windows default WebDAV do not use sessions.
Merge pull request #294 from terminal-addict/webdav-disable

Permit administrator to disable WebDAV on individual repositories.