html5_video_index Javascript application to add an index with links to specific points in the html5 video