prov2dot: explicit representation of start/end/invalidation