add agenda widget on workspace
check style
 partial commit
Merge branch 'master' of https://github.com/claroline/CoreBundle into agenda

Conflicts:
	Library/Installation/AdditionalInstaller.php
added widget for the desktop
checkstyle
Merge pull request #238 from solispauwels/master

GUI update for workspaces long names
checkstyle
move template agenda_widget
Merge pull request #236 from easy-es/agenda

Agenda - wigdet for workspace
Fixing mime type copy.
Merge pull request #239 from ngodfraind/bugfix

Fixing mime type copy.
Fixing the test revision dql request.
Merge pull request #240 from ngodfraind/bugfix

Fixing the test revision dql request.
Fixing resource picker.
Merge pull request #241 from ngodfraind/bugfix

Fixing resource picker.
Added generated themes compilation to refresher
removed unused namespace statement
Merge pull request #242 from stefk/theme-compilation

Added generated themes compilation to refresher
File suppression update.