bug #4988 : the node names containing HTML text aren't correctly rendered as HTML

Inform the JQuery plugin jstree the name of the nodes are i...n HTML, so escaped HTML characters will be correctly rendered.

Don't forget to merge also the PR for bug-4988 on Silverpeas-Core.