dealing with non-source files in submissions [Re: files .txt in domjudge]