A simple tool for batch-renaming files in a folder, because it seemed impossible to find a good software doing the same thing.