Improve button labels to reflect actual actions#2860

meisterT merged 1 commit intoDOMjudge:mainDOMjudge/domjudge:mainfrom

tuupke:maintuupke/domjudge:mainCopy head branch name to clipboard