Some fixes to dump/load DB commands in dj_setup_database:

[eldering]

• Don't use sudo: we assume we can access the DB (like in other commands), the user can call this with sudo if necessary.
• Fetch DB name from config instead of hardcoded domjudge.
• Don't exit within case unless with non-zero status.