A way to convert a series of .pngs into an animated .gif on Android