Shrink PNG files by applying a lossy filter