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.
Merge pull request #775 from ngodfraind/ergonomy-tools-permissions

Ergonomy tools permissions