- Implemented allow_anonymous option, as suggested in the
  TODO message in domain_controller.py.  Previously, if
  no users were specified in wsgidav.conf, then anonymous
  access would be granted automatically.  Now, anonymous
  access can be disabled by specifying allow_anonymous=False
  in wsgidav.conf or by specifying --allow_anonymous=False
  at the command-line.