databases/mongodb-tools: update to 100.9.5
Changes: https://www.mongodb.com/community/forums/t/database-tools-100-9-5-released/285350