Some fixes to dump/load DB commands in dj_setup_database:#2824

eldering merged 1 commit intomainDOMjudge/domjudge:mainfrom

sql-setup-fixesDOMjudge/domjudge:sql-setup-fixesCopy head branch name to clipboard