web: Add generate-doc.sh to generate makeinfo-based ffmpeg docs