Install tools for dumping the database#207

vmcj merged 1 commit intoDOMjudge:mainDOMjudge/domjudge-packaging:mainfrom

vmcj:ci_dump_db_snapshotvmcj/domjudge-packaging:ci_dump_db_snapshotCopy head branch name to clipboard