Classification editor: speak of graphs instead of trees
Classification editor: use type information in jsTree (e.g. for icons)
Classification graphs: speak of graphs instead of trees
Classification graphs: use CICI ID instead of CI ID as graph ID
Classification graphs: allow removal of a graph
Classification graphs: collect reachable classes also from super-classes