I always used whatever real animation tool (Anim8or, Blender, python+svg+ffmpeg) I was most comfortable with and rendered the animation to a non-looping GIF. Embeddable almost anywhere.