Some fixes to the kattis2domjudge script. Stilly dirty hack.