A JavaScript library for creating and manipulating GIF files in a web browser