A JavaScript library for animating Canvases in HTML5