Fixed some Paxos issues

Added bookkeeping for failed replicas.
Added design.pdf

Reverted to an older version (don't think it's in the repo though) of
Paxos.