updated the vector clock support and added a little documentation of the presence of it. Note that the current implementation doesn't use a decorator on purpose but adds the support to the builder.