Passer automatiquement live.openstreetmap.fr aux diff osm.org en cas de retard

[jocelynj]

Actuellement, live prend ses diffs de download.openstreetmap.fr, qui peut prendre plusieurs heures de retard sur des diffs complexes. Il serait pratique de passer automatiquement temporairement sur planet.openstreetmap.org en attendant que le retard soit récupéré.

Ce fichier doit être celui à modifier: https://github.com/osm-fr/osm-livechanges/blob/master/backend/cron-dl.sh

cc: @Cyrille37