Removing badges from profile.
Fixing wrong merge for workspace/roles.
Fixing weong confirmation message when adding a user to a group.
Merge branch 'master' of https://github.com/claroline/CoreBundle