The design and implementation of Google Swiffy: A Flash to HTML5 converter