Merge develop into master

Test

Deployed at https://codabench-test.lri.fr/

Changes

• #1291
• #1292
• #1293
• #1311
• #1301
• #1315
• #1317
• #1320
• #1316
• #1307
• #1310
• #1306

Manual intervention

In order to create a "logo icon" for each existing competition

1. Shell into django

docker compose exec django bash
python manage.py shell_plus --plain

2. Get competitions that don't have logo icons

import io, os
from PIL import Image
from django.core.files.base import ContentFile
comps_no_icon_logo = Competition.objects.filter(logo_icon__isnull=True)
all = Competition.objects.all()
len(Competition.objects.all())
len(comps_no_icon_logo)

3. Then run this script

for comp in comps_no_icon_logo:
    try:
        comp.make_logo_icon()
        comp.save()
    except Exception as e:
        print(f"An error occurred: {e}")
        print(comp)