os.path
имеет все, что вам нужно для работы с именами файлов.glob
может искать файлы:
import os, glob
i = 1
for f in glob.glob('*'):
if os.path.splitext(os.path.split(f)[-1])[-1].lower() == '.bat':
os.rename(f, '{0}.txt'.format(i)
i += 1
Нет гарантий, но я думаю, что этот скрипт должен работать.