Fix odoc docs: exclude driver/ from odoc pkg and add all children
- Use glob_files instead of glob_files_rec to avoid including driver/
directory (which has its own documentation stanza for odoc-driver)
- Explicitly include deprecated/*.mld for the deprecated section
- Add all library directories and main_index to @children_order to
suppress warnings about unlisted children
Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>