Added notes about differences between project implementation and the paper paxos