Rend les plages horaires configurables par utilisateur plutôt que globalement

Chaque compte a désormais son propre data/users/<user>/plages.json, réglable
depuis une nouvelle carte "Plages horaires" sur /settings (avec validation
HH:MM et ordre matin < aprem). Le calcul, les stats de conformité et les
avertissements de saisie lisent la config de l'utilisateur courant au lieu
du plages global. La valeur globale de data/config.json reste lue comme
valeur de repli tant qu'un utilisateur n'a rien personnalisé.

data/config.example.json

@@ -9,12 +9,5 @@
     "user": "no-reply@exemple.fr",
     "password": "change-moi",
     "use_tls": true
-  },
-  "plages": {
-    "matin_debut": "09:00",
-    "matin_fin": "12:00",
-    "aprem_debut": "14:00",
-    "aprem_fin": "17:00",
-    "pause_dejeuner_fin": "13:30"
   }
 }