User removal

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

docker compose exec django ./manage.py migrate