chore: mongodb as require-dev extension (#7235)

This will use php/pie to install the mongodb extension

Author: rvanlaak

composer.json

@@ -120,6 +120,7 @@
         "willdurand/negotiation": "^3.1"
     },
     "require-dev": {
+        "ext-mongodb": "^1.21 || ^2.0",
         "behat/behat": "^3.11",
         "behat/mink": "^1.9",
         "doctrine/cache": "^1.11 || ^2.1",