databases/mongodb80: update to 8.0.5

Changes:
https://www.mongodb.com/docs/manual/release-notes/8.0/#8.0.5---feb-20--2025
https://www.mongodb.com/community/forums/t/mongodb-8-0-5-rc1-is-released/312357?u=r_k

• spidermonkey updated to 115.19.0esr (from esr115.7)
• be more verbose in pre-configure check so I don't need to lookup the new revision