Tiny tool for automatic renaming .gpx files.