Fix link for Paxos-Made-Live paper