Script for renaming many files at once, written in bash.