Improve menhir.simple.navtree

[Matthias]

I know the bug tracker should not be abused for feature requests or coordination, but I couldn't find a better place where to put this at the moment.

It looks like jQuery treeview is deprecated. From http://bassistance.de/jquery-plugins/jquery-plugin-treeview/

"""
Note as of April 2010: While the plugin still works as it is, it has some shortcomings, and not maintained anymore. There are now plenty of alternative jQuery tree plugins.
"""

One of the best looking plugins I've found is this:

http://www.jstree.com/

The license looks also ok.

I've come across this, because I wanted to add icons to the navtree. jQuery treeview only supports classes for nodes, so the css file would have to be generated dynamically somehow.
jsTree does a better job here, you can put your icon in the json data and it will take it. The other features also appeal more to me.

I will likely be looking at this over the next few weeks. If you want to discuss anything with me, just ping me.

-Matthias

[Vincent Fretin (vincent-fretin)]

I don't have any objections. If you can work on it, it will be great.