User can't see all Workspaces in which he is registered
User can't unregister from Workspaces which are configured to have self unregistration
Merge pull request #851 from ngodfraind/bugfixes

Fixing the desktop agenda widget.
Desktop gui update
Merge pull request #852 from solispauwels/master

Desktop gui update
delete old stuff
Merge pull request #853 from solispauwels/master

delete old stuff
fix fr translation
Merge pull request #855 from claroline/bugfixes

Bugfixes
Fixes role display in workspace unregistered users list
Merge pull request #832 from Elorfin/find-user-ws

User can't see all Workspaces in which he is registered
Merge pull request #854 from arnaudbey/fix-transl

fix fr translation
Merge pull request #856 from kitan1982/workspace-registration-bugfix

Fixes role display in workspace unregistered users list
calendar.js - time format

When adding an event with a begining time of 14h00 for exemple, the summary added to the calendar show [14 event title].
Changing ```timeFormat: 'H(:mm)'``` to  ```timeFormat: 'H:mm'``` seems to resolve the problem (not much documentation found in official website)
urlencode for file download
Merge pull request #857 from pitrackster/master

calendar.js - time format
Add link to user creation in user list.
Add success msg
add missing dots.
Merge pull request #858 from arnaudbey/user-creation

minor changes in administration > user
Fixing links open permissions.