Bash tool to create HTML5 video doc from video.