User removal

After upgrading from Codabench <1.17, you will need to perform a Django migration (#1715, #1741)

Bash

docker compose exec django ./manage.py migrate