Version 2.5.1 released

See previous modifications + special cache string for the tinymce js
files (request pending for theme, langage & plugins)