change LabeledTransitions.add_labeled_adj

new argument adj2states defining correspondence between adjacency matrix nodes and existing system states
update transys examples to use changed add_labeled_adj