Python script to replace characters in filenames.