databases/mongodb80: update to 8.0.0

First release in the 8.0 series.

Release Notes:
https://www.mongodb.com/docs/manual/release-notes/8.0/

Changes since RC20:
https://github.com/mongodb/mongo/compare/r8.0.0-rc20...r8.0.0

- pet portlint on ${SH}.