A very simple tool to change all file extensions in a folder