Add the file extensions when missing if dling an archive.
Merge pull request #901 from ngodfraind/bugfixes

Add the file extensions when missing if dling an archive.
Refactoring workspace role management GUI.
Merge pull request #902 from ngodfraind/bugfixes

Refactoring workspace role management GUI.
Resource menu displayed only if the action is implemented.
Merge pull request #903 from ngodfraind/bugfixes

Resource menu displayed only if the action is implemented.
Add uniqid to publicurl.
Merge pull request #904 from ngodfraind/bugfixes

Add uniqid to publicurl.