December maintenance

Slightly belated batch of improvements from December 2023.

Highlights include:

• Retiring the builds of mozjs102 CI images
• cppcheck CI job now does a more comprehensive scan