Implemented a partition function.

The partition function is a deterministic mapping from a connectivity matrix (formed in each
switch by the aggregation of the latest heard bitvectors from other switches) to a set of
partitions.  Currently the partition function computes strongly connected components, with each
scc corresponding to a partition.