Updating database and plugin installation.
Event for workspace tool configuration.
Moving Tool/WidgetController to Tool/HomeController
Workspace tools reorganization.
Event for desktop tool configuration.
Updating fixtures.
uncommenting tests
Param conversion and some small code fixes.
Delete WorkspaceWidgetParameterController.
Update doc.
Fixing tests.
Merge pull request #6 from claroline/plugin_tool_options

Plugin tool options