@hackage batch-rename0.1.0.0

Make linux or macos do things like "rename *.mp3 *.mp4" in Windows/MSDOS

batch_rename

A simple command make linux or macos do things like "rename *.mp3 *.mp4" in Windows/MSDOS