miga-salt: redis.
Melhoras nos scripts de anova e prova.

anova: executo salt-call em vez de salt, para ter melhores logs,
logueo a arquivo além de stdout.
prova: aumento a espera antes de provar.
nginx instalado (nom configurado).