OO-1265: check if the tools are available to the user in the top navigation
OO-1266: fix a lazy loading issue after update the display members options of a business group
OO-1267: remove the olat resource after the repository entry is removed
OO-1268: remove duplicate members from the assessment list
Merge OpenOLAT 10 to OpenOLAT default branch with 5ab8415a25254ff5d6769ca6b0910ed0c749a9fa