It looks like your example uses command line unix. I don't (afaik) have access to the command line; I'm on a shared server hosting plan. I suppose in theory I could use the CGI bins, but really, I'm not a programmer; I just know the PHP basics.
I asked about GD because its bundled into the PHP version my server runs, and is what I've been using to generate the PNGs. I'm not sure the Imagick extensions on my sites (shared) server are turned on, and the documention I can find for Imagick is a bit sketchy & over my head. But its nice to see its (in theory) available!
As an alternative, I may end up doing a slideshow with JavaScript that would look like an animated gif, but uses the individual PNGs. That would consume (a lot) more bandwidth- not a problem for my server, but for users maybe it is. On the upside, it offers the advantage of letting people control the animation with something like a slider bar.