Fix untrusted input

During the execution of a task of Batch type, the contestant program could tamper with the input file (usually input.txt). We check it out again from the database to be sure.