Use graphs for trees, and upgrade fancytree, fixing UI problems in the nav tree