An android tool to convert animated GIFs to AnimationDrawables