Personally, I would steer well clear of tools that automate something like that. The code they spit out is likely to be awful. It's really simple to recreate that gallery in HTML. I would use a jQuery script like slimbox2 for the gallery, and because the animations are so simple, I'd recommend trying animated gifs. They are perfect for those animations, and cross-browser friednly.
I've just been playing around with a free tool that converts videos into animated gifs, http://www.gifrocket.com/, and it's insanely good. Worth a try (if you're on a Mac), or I expert there will be PC equivalents.