Distclean should remove what `make clean` removes and configure artifacts#2977

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

vmcj:make_clean_distcleanvmcj/domjudge:make_clean_distcleanCopy head branch name to clipboard