When collecting, delete existing files

Changed manual submission check to depend
on the repository. Then added deletion of
existing file when re-grading.