update based on @MichaelDiBernardo's comments
rewrite intro, clarify paxos and multi-paxos a bit
merge chapter changes