Running a batch file through python. system("name_of_file.