Workspace tool: edit button and no more ajax
Workspace tools can be renamed easily
Desktop tools can be reordered without ajax.
Redirections for tools parameters.
Close claroline/Claroline#607
Merge pull request #802 from solispauwels/master

Close claroline/Claroline#607
Sets favourite workspaces as default in workspace widget if not empty
collapse update
Merge pull request #808 from solispauwels/master

collapse update
updater 3.2
Merge pull request #810 from solispauwels/master

updater 3.2
Fixing the installer.
Merge pull request #811 from ngodfraind/fixing-installer

Fixing the installer.
Merge pull request #807 from kitan1982/workspace-widget-default

Sets favourite workspaces as default in workspace widget if not empty
bugfix
Merge pull request #812 from ngodfraind/fixing-messagery

bugfix
Merge pull request #775 from ngodfraind/ergonomy-tools-permissions

Ergonomy tools permissions
Merge branch 'master' of https://github.com/claroline/CoreBundle into 3.2-dev