Shell_batchFileNameChange.sh: to show how to change batch of files' names