Add skeleton of IRC moderator for Paxos demo
Add Paxos data structures