Simple shell command to rename a batch of files (i.e., *.JPG to *.jpg)