フォルダ内の該当する、すべてのファイル名を変換する

xxx1.txt → xxx001.txt

拡張子の直前に、3桁以下の数字があるので、0 埋めする

xxx には任意の文字が、任意の数だけ入る。
ただし、数字の直前の文字は、数字ではない