Change diff mode selection to radio button#3095

Kevinjil merged 2 commits intoDOMjudge:mainDOMjudge/domjudge:mainfrom

Kevinjil:diff-mode-radioKevinjil/domjudge:diff-mode-radioCopy head branch name to clipboard