Add message ghost vars in net
Add message ghost vars in net

One proof is admitted; should be easy to fix :)

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