Change extension from .EXT1 to .EXT2 of all files in a given directory

Tested in Python 2.7