Python script and executable for batch resizing images