Самый простой вариант - выделяем все файлы в папке, нажимаем клавишу "F2" и вводим новое имя. Но тут нельзя выбрать шаблон.
Если шаблон имеет значение - пишем простейший батник или скрипт который будет обходить все файлы и переименовывать их по шаблону.
@echo off
setlocal
for %%i in (*.txt) do call:rename "%%i"
goto:eof
:rename
set /a cnt+=1
set "post=00%cnt%"
ren %1 "0001-%post:~-3%.txt"