A JavaScript library to create HTML videos