feat: add submission notification#3018

cubercsl wants to merge 1 commit intoDOMjudge:mainDOMjudge/domjudge:mainfrom

cubercsl:feat/submission-notificationcubercsl/domjudge:feat/submission-notificationCopy head branch name to clipboard