Our animation tool just grew a "make hi-res picture" option. Click this option to get a crisp, high-resolution version of your current frame. Here's an example of the quality (reduced for this blog from 800x600 pixels to 400x300 pixels):

Have fun!