Add temporal file option to repo-checker.pl