move bibdk_role_redakteur feature from git_config to bibdk_frontend