Python GUI that lets you compress PNG images.