A GUI tool for creating and editing Animated PNG images