alteração imagem das fases de paxos para acessar disco
ajustes no capítulo 1: alteração na seção de Paxos estado persistente e propriedades do algoritmo