Quick python script to change the case of filenames in a directory to lowercase.