dv-format: add script to generate dv-lense.texi from dvlenses.tab.