Animate CC (the new name for the Flash IDE) can do what you're talking about these days(exporting multiple formats, creating animation texture atlases, etc).