Easily rename a batch of files with Python