CWEBbin 2025.1

• Tuneup for CWEB 4.12.2
• Revert bool changes for TeX Live with C23.
• Fix issue #88.
• CWEB is --verbose by default again.