Python script to mass format anime video files to fit a certain format