Mermaid.js GIF maker