changes node id type to 64-bits
Merge branch 'master' of github.com:jeremytregunna/JVectorClock