add admits for 2 new antecedents (fixes build)
add admits for 2 new antecedents (fixes build)

lolisa/verdi,DistributedComponents/verdi-aggregation,DistributedComponents/verdi-aggregation,palmskog/verdi,DistributedComponents/verdi-aggregation,uwplse/verdi-raft,guiquanz/verdi,guiquanz/verdi,DistributedComponents/verdi-aggregation,DistributedComponents/verdi-chord,uwplse/verdi-raft,DistributedComponents/verdi-chord,uwplse/verdi-raft,uwplse/verdi,DistributedComponents/verdi-chord,palmskog/verdi,uwplse/verdi-raft,uwplse/verdi-raft,DistributedComponents/verdi-chord,palmskog/verdi,lolisa/verdi,DistributedComponents/verdi-chord,uwplse/verdi