Deletion

Pull request for deletion of all record types, users and groups.  There's code here for deleting repositories too, but I've disabled it for now until we figure out the exact semantics we want.