src/axiom-website/videos.html add Literate Programming in the Large video

Make a downloadable copy of the video available.