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.