readded jstree to theme-config