Addition of a method to extract the user information from the request

For our project we need to integrate your webdav-servlet but we can't use JAAS authentication. So we have change WebDavServletBean to expose a getUserPrincipal method for the authentication.