I am making fast progress on my CSS 3 Animations Editor add-on for BlueGriffon. As I said, it will probably be the most powerful Animations editor on the market, allowing you to edit Animations wherever they come from. You can see a screenshot of what's currently on my screen, an early prototype. Don't focus too much on the UI, it's subject to major changes.