Add \-\- for libdvdr option in dd-dvd manual.
Correction re. dd-dvd configuration option.
Add script to boot auto* stuff and hopefully produce configure.
Small cleanups; changes in verbose levels.