Export as Animated Gif

Just note that somebody wrote a Python script that uses the tmxrasterizer to make a GIF:

(there is a .exe release as well)