reimplement explicitkripke using spot::digraph

In the current implementation the format implements only state labels, but not acceptance sets. We should probably implement both state-based label and state-based acceptance.