Copy docs from the DOMjudge main repo.