OO-1172: remove deleted users from courses and groups
OO-981: if the catalog is disabled, remove the tool "add to catalog" in course toolbar and remove the little message in publish workflow
OO-1169: fix the unremovable deleted course element information (and beautify it)