+ Added a function to the file to allow for easier renaming of files
Changing the case of a filename is difficult in git because git does not
track case-sensitivity changes to a filename. I added a function which
simply does a `git mv` got a temporary file name and then does a `git
mv` to the desired filename.