Nouveau système de badges

J'ai entièrement refondu le système de badges du site. Pour les utilisateurs, voici ce qui change :

• les badges affichés dans l'annuaire sont (un peu) plus grands (26x26 pixels, HiDPI) ;
• les badges affichés sur le profil d'un utilisateur sont (beaucoup) plus grands (64x64 pixels, HiDPI) ;
• un utilisateur peut désormais avoir jusqu'à 14 badges.

Pour les administrateurs, la création et l'administration des badges sera beaucoup plus simple.

Notez enfin deux "effets de bord" de cette mise à jour :

• j'ai ajouté de nombreux anciens badges qui n'avaient pas été repris lors de la mise en ligne de la version "reloaded" du site ;
• la suppression des anciens badges a fait perdre quelques frugz à certains d'entre-vous (48 frugz maximum) ;
• la plupart des badges existants ont une nouvelle icône dans une résolution plus élevées qu'avant.