Support vector clock formatted as a (Json) array

[lemmy]

Algorithms typically identify nodes with natural numbers between 0 to N-1. In other cases, identifies might still be under a total order. In these cases, a JSON array lends itself as the representation of the vector clock, i.e., [0, 42, 23] rather than the redundant and more verbose {"0": 0, "1": 42, "2": 23}.