Workspace managers can see their workspace as role XXX.
Merge branch 'master' of https://github.com/claroline/Claroline

Conflicts:
	src/core/Claroline/CoreBundle/Library/Security/Utilities.php
Using roles from the security token instead of the user.
Twig "has_role" extension.