changeString Python script to change a given string in all files within a given directory. Mostly used to change version strings.