Adding my paxos library
Added skeleton code for the coordinator