Create ActiveEdgeTriplet to expose edge activeness
- Adding propagateAndAggregate and its tests. This primitive looks very similar to Pregel
  (the differences are explained in comments). In a later commit, we might want to
  refactor Pregel and this primitive to call a common more general function.