Redirection to the first tool of the list when a ws/desktop is opened
Plugins can declare tools
Merge branch 'master' of https://github.com/claroline/Claroline