Document main as the clean development branch and judge-submit as the evaluation branch with vendored ArceOS.