Updating database and plugin installation.
Event for workspace tool configuration.
Moving Tool/WidgetController to Tool/HomeController
New theme service for compile templates and new command to compile themes (claroline:theme:compile Claroline)
Merge branch 'master' of https://github.com/claroline/Claroline
Fix web path bug in theme service
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
Added workspaces list in right management
Merge branch 'master' of https://github.com/claroline/Claroline into workspace-tags-in-right-management
Added workspace list in right management in resource parameters