comando_fazer_logout: corrigir implementação e/ou programa de teste.