added leader stuff in paxosNewls