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.
bugfix
Merge pull request #812 from ngodfraind/fixing-messagery

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

Ergonomy tools permissions