small cleanup
modified add_user tool to use the new lti_role_required decorator (from django-auth-lti)