New Debian reposity, checktestdata package and DOMjudge-live RC image