My modifications of the PNGoo batch PNG processor: http://code.google.com/p/pngoo/