Attendre que la base redis soit chargée avant de lancer gunicorn

[jdesboeufs]

Actuellement, le temps de chargement du dump a pour conséquence une erreur 500 sur addok pendant plusieurs dizaines de secondes. Ne pas lancer le service avant permettrait une meilleure détection par des frontaux comme nginx.