Fix link for Paxos-Made-Live paper

Self-explanatory.

Thanks for the repository of distributed computing links.