VariantGraph: changed vertex creation to deal with the fact that the
contents of a token is not unique. Also makes the dot output more alike
the Java one.