A Bash script for shrinking PNG files, using tinypng.com