Personal workspace: the administrator can suppress some tools
Some things still need to be done:
- voters
- personal workspace configuration: some tools must be disabled (grey)
Adding personal ws configuration (beginning)
Merge pull request #977 from ngodfraind/master

Personal workspace configuration (beginning)