Using ini file for custom cache.
Merge branch 'master' of github.com:claroline/CoreBundle into bugfix

Conflicts:
	Library/Installation/AdditionalInstaller.php
	Library/Installation/Updater/Updater021400.php
Updating cache manager.
Editing getParamater.
Merge pull request #548 from ngodfraind/bugfix

Bugfix
Rename parameter for claro_public_profile_view route from userId to publicUrl
Merge pull request #552 from maxailloud/fix_param_profile_public_route_notification

Rename parameter for claro_public_profile_view route from userId to publicUrl
Fixing workspace user tool for jquery 2.x
Merge pull request #553 from ngodfraind/bugfix

Fixing workspace user tool for jquery 2.x
Merge branch 'master' of github.com:claroline/CoreBundle